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, 11 insertions, 0 deletions
diff --git a/www/boa/files/patch-docs__Makefile.in b/www/boa/files/patch-docs__Makefile.in new file mode 100644 index 000000000000..e7856c6a9a2b --- /dev/null +++ b/www/boa/files/patch-docs__Makefile.in @@ -0,0 +1,11 @@ +--- 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@ |