diff -ru linuxdoc-tools-0.9.21/Makefile.in linuxdoc-tools-0.9.21-patched/Makefile.in --- linuxdoc-tools-0.9.21/Makefile.in 2005-05-10 21:31:12.000000000 -0400 +++ linuxdoc-tools-0.9.21-patched/Makefile.in 2005-05-10 21:31:56.000000000 -0400 @@ -124,10 +124,10 @@ (cd $(DESTDIR)$(pkgdatadir)/dtd; rm -f linuxdoc.dtd; ln -s linuxdoc96.dtd linuxdoc.dtd) (cd $(DESTDIR)$(pkgdatadir)/dtd; rm -f linuxdoctr.dtd; ln -s linuxdoctr96.dtd linuxdoctr.dtd) (cd $(DESTDIR)$(bindir); for i in $(progs); do rm -f $$i; ln -s linuxdoc $$i;done) - @echo "Installing documentation in $(DESTDIR)$(LINUXDOCDOC) ..." +# @echo "Installing documentation in $(DESTDIR)$(LINUXDOCDOC) ..." # TODO: fix Makedoc.sh play work without installing files to the system (using DESTDIR) - (cd doc; PATH="${PATH}:${DESTDIR}${bindir}" PREFIX=$(prefix) BINDIR=$(bindir) \ - DATADIR=$(DESTDIR)$(datadir) bash Makedoc.sh) +# (cd doc; PATH="${PATH}:${DESTDIR}${bindir}" PREFIX=$(prefix) BINDIR=$(bindir) \ +# DATADIR=$(DESTDIR)$(datadir) bash Makedoc.sh) if [ ! -d $(DESTDIR)$(LINUXDOCDOC) ]; then mkdir -p $(DESTDIR)$(LINUXDOCDOC); fi chmod 755 $(DESTDIR)$(LINUXDOCDOC) cp -r doc/* $(DESTDIR)$(LINUXDOCDOC)