diff options
-rw-r--r-- | devel/m4/files/patch-aa | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/m4/files/patch-aa b/devel/m4/files/patch-aa new file mode 100644 index 0000000..d115919 --- /dev/null +++ b/devel/m4/files/patch-aa @@ -0,0 +1,11 @@ +--- doc/Makefile.in.orig Sun Nov 6 05:52:26 1994 ++++ doc/Makefile.in Mon Jun 16 16:08:39 1997 +@@ -40,7 +40,7 @@ + info: m4.info + + m4.info: m4.texinfo version.texi +- cd $(srcdir) && $(MAKEINFO) m4.texinfo ++ cd $(srcdir) && rm -f m4.info* && $(MAKEINFO) --no-split m4.texinfo + + dvi: m4.dvi + |