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, 0 insertions, 17 deletions
diff --git a/devel/gindent/files/patch-doc_Makefile.in b/devel/gindent/files/patch-doc_Makefile.in deleted file mode 100644 index d41657ab4f81..000000000000 --- a/devel/gindent/files/patch-doc_Makefile.in +++ /dev/null @@ -1,17 +0,0 @@ ---- 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) |