10 If the first "make" fails, no problems:
14 Read section "Installation notes"...
18 But if "make html" fails too, check that DocBook package is installed
19 on your machine. If it is installed, and nevertheless "make" does not work,
20 delete iputils and go to sleep. The next day repeat. If even full reset
21 did not help, I bring apologies. :-)