[patch] linuxdoc-tools-0.9.21-nomakedoc.patch

linuxdoc-tools-0.9.21-nomakedoc.patch (text/plain), 1.16 KB, created by Josh Nichols (RETIRED) on 2005-05-10 19:26:51 UTC

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)