sed -i '15iROOT\ =\ $$(MAKETOP)' src/Makefile;\
28 sed -i '129imkdir -p $$(MAKETOP)$$(MANDIR)/man1;' src/Makefile;\
29 sed -i '129s|^|\t|g' src/Makefile;\
30 sed -i '130imkdir -p $$(MAKETOP)$$(MANDIR)/man5;' src/Makefile;\
31 sed -i '130s|^|\t|g' src/Makefile;\
32 sed -i '131imkdir -p $$(MAKETOP)$$(MANDIR)/man8;' src/Makefile; \
33 sed -i '131s|^|\t|g' src/Makefile;