The instructions above have now been converted to DocBook and will be part of the igraph manual, apart from the “for the impatient” section, which goes on the homepage. If you make any modifications to the instructions, ping me so I can update the DocBook version.