diff options
Diffstat (limited to 'misc/cave/files/patch-doc-Makefile.in')
| -rw-r--r-- | misc/cave/files/patch-doc-Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/misc/cave/files/patch-doc-Makefile.in b/misc/cave/files/patch-doc-Makefile.in deleted file mode 100644 index cfb9fd7..0000000 --- a/misc/cave/files/patch-doc-Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- doc/Makefile.in.orig Sat Oct 26 09:26:04 2002 -+++ doc/Makefile.in Wed Nov 6 09:41:34 2002 -@@ -114,7 +114,7 @@ - target_cpu = @target_cpu@ - target_os = @target_os@ - target_vendor = @target_vendor@ --dist_man1_MANS = cave.man -+dist_man1_MANS = cave.1 - subdir = doc - mkinstalldirs = $(SHELL) $(top_srcdir)/build/mkinstalldirs - CONFIG_HEADER = $(top_builddir)/config.h |
