#3 7.0pre-1/docs/Makefile fails on linuxdoc

[Keith Hanlan]

linuxdoc -B txt docs/FAQ
make: linuxdoc: Command not found
make: *** [docs/FAQ.txt] Error 127

After searching through the net for a while, I've
concluded that the "linuxdoc" refers to an obsolete
piece of software that is no longer supported. I
believe the simplest fix is to change docs/Makefile as
follows:
*** Makefile-orig Sat May 18 14:04:12 2002
--- Makefile Tue Sep 17 20:15:24 2002
***************
*** 1,6 ****
all:
! linuxdoc -B html -I FAQ
! linuxdoc -B html -I Taper
rm -f *.orig
rm -f *.sgml
rm -f *.flc
--- 1,6 ----
all:
! sgml2html -s 0 FAQ.sgml
! sgml2html -s 0 Taper.sgml
rm -f *.orig
rm -f *.sgml
rm -f *.flc