diff options
| -rw-r--r-- | misc/cave/files/patch-doc-Makefile.in | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/misc/cave/files/patch-doc-Makefile.in b/misc/cave/files/patch-doc-Makefile.in index 810537c2c002..cfb9fd763e57 100644 --- a/misc/cave/files/patch-doc-Makefile.in +++ b/misc/cave/files/patch-doc-Makefile.in @@ -1,6 +1,5 @@ -diff -ru cave-1.0b.orig/doc/Makefile.in cave-1.0b/doc/Makefile.in ---- cave-1.0b.orig/doc/Makefile.in Sat Oct 26 09:26:04 2002 -+++ cave-1.0b/doc/Makefile.in Wed Nov 6 09:41:34 2002 +--- 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@ |