index.html: dss.1.html index.html.in INSTALL README NEWS
sed -e '/@README@/,$$d' index.html.in > $@
- grutatxt -nb < README >> $@
+ markdown README >> $@
sed -e '1,/@README@/d' -e '/@NEWS@/,$$d' index.html.in >> $@
- grutatxt -nb < NEWS >> $@
+ markdown NEWS >> $@
sed -e '1,/@NEWS@/d' -e '/@INSTALL@/,$$d' index.html.in >> $@
- grutatxt -nb < INSTALL >> $@
+ markdown INSTALL >> $@
sed -e '1,/@INSTALL@/d' -e '/@MAN_PAGE@/,$$d' index.html.in >> $@
- sed -e '1,/Return to Main Contents/d' -e '/Index/,$$d' dss.1.html >> $@
+ sed -e '1,/Return to Main Contents/d' -e '/SEE ALSO/,$$d' dss.1.html >> $@
sed -e '1,/@MAN_PAGE@/d' index.html.in >> $@