diff options
Diffstat (limited to 'devel/gindent/files/patch-doc_Makefile.in')
| -rw-r--r-- | devel/gindent/files/patch-doc_Makefile.in | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/devel/gindent/files/patch-doc_Makefile.in b/devel/gindent/files/patch-doc_Makefile.in new file mode 100644 index 000000000000..d41657ab4f81 --- /dev/null +++ b/devel/gindent/files/patch-doc_Makefile.in @@ -0,0 +1,17 @@ +--- doc/Makefile.in.orig 2008-03-11 18:54:15 UTC ++++ doc/Makefile.in +@@ -602,10 +602,10 @@ uninstall-am: uninstall-dvi-am uninstall + uninstall-pdf-am uninstall-ps-am + + +-all-local: html +-install-data-local: install-html +-installdirs-local: installdirs-html +-uninstall-local: uninstall-html ++all-local: # html ++install-data-local: # install-html ++installdirs-local: # installdirs-html ++uninstall-local: # uninstall-html + + html: html-$(HTMLSTYLE) + install-html: install-html-$(HTMLSTYLE) |