diff options
Diffstat (limited to 'www/boa/files/patch-docs__Makefile.in')
| -rw-r--r-- | www/boa/files/patch-docs__Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/www/boa/files/patch-docs__Makefile.in b/www/boa/files/patch-docs__Makefile.in deleted file mode 100644 index e7856c6a9a2b..000000000000 --- a/www/boa/files/patch-docs__Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- docs/Makefile.in.orig Mon Nov 25 18:38:32 2002 -+++ docs/Makefile.in Mon Nov 25 18:38:42 2002 -@@ -3,7 +3,7 @@ - srcdir = @srcdir@ - VPATH = @srcdir@ - --all: boa.html boa.dvi boa.info boa.txt -+all: boa.html boa.info boa.txt - - boa.info: boa.texi - makeinfo --number-sections @ALLSOURCES@ |