diff options
Diffstat (limited to 'devel/rudiments/files/patch-Makefile.in')
| -rw-r--r-- | devel/rudiments/files/patch-Makefile.in | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/devel/rudiments/files/patch-Makefile.in b/devel/rudiments/files/patch-Makefile.in deleted file mode 100644 index 9702d6dc09a4..000000000000 --- a/devel/rudiments/files/patch-Makefile.in +++ /dev/null @@ -1,10 +0,0 @@ ---- Makefile.in.orig Wed Jun 20 13:57:31 2001 -+++ Makefile.in Mon Jul 2 16:52:51 2001 -@@ -16,6 +16,7 @@ - install: - cd src; $(MAKE) install - cd include; $(MAKE) install -+doc-install: - cd doc; $(MAKE) install - - uninstall: |