diff options
Diffstat (limited to 'lang/hope/files/patch-doc:Makefile.in')
| -rw-r--r-- | lang/hope/files/patch-doc:Makefile.in | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/lang/hope/files/patch-doc:Makefile.in b/lang/hope/files/patch-doc:Makefile.in new file mode 100644 index 000000000000..0cc6ac6e804a --- /dev/null +++ b/lang/hope/files/patch-doc:Makefile.in @@ -0,0 +1,19 @@ +--- doc/Makefile.in.orig Sat Apr 17 04:14:06 1999 ++++ doc/Makefile.in Tue Sep 25 00:12:51 2001 +@@ -58,7 +58,7 @@ + sed -n 's/^#define[ ][ ]*\(M[IA][NX]PREC\)[ ][ ]*\([0-9]*\).*/\\newcommand{\\\1}{\2}/p' ../src/op.h >$@ + + ../src/op.h: +- cd ../src; make op.h ++ cd ../src; $(MAKE) op.h + + # can't use echo here as BSD and SYSV versions treat backslashes differently. + Standard.tex: ../lib/Standard.hop h2l.awk +@@ -83,6 +83,7 @@ + for file in $(docs); do gzip <$$file >$(docdir)/$$file.gz; done + $(INSTALL) -d $(htmldir) + for dir in $(dirs); do rm -rf $(htmldir)/$$dir; done ++ for dir in $(dirs); do rm -rf $$dir/*.pl $$dir/WARNINGS; done + cp -r $(dirs) $(htmldir) + # cp $(src_srcs) $(srcdir) + |