sed -e '1,/@INSTALL@/d' -e '/@MAN_PAGE@/,$$d' index.html.in >> $@
sed -e '1,/Return to Main Contents/d' -e '/Index/,$$d' adu.1.html >> $@
sed -e '1,/@MAN_PAGE@/d' index.html.in >> $@
sed -e '1,/@INSTALL@/d' -e '/@MAN_PAGE@/,$$d' index.html.in >> $@
sed -e '1,/Return to Main Contents/d' -e '/Index/,$$d' adu.1.html >> $@
sed -e '1,/@MAN_PAGE@/d' index.html.in >> $@