diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ChangeLog | 5 | ||||
| -rw-r--r-- | etc/Makefile.in | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/etc/ChangeLog b/etc/ChangeLog index e7d3c8ceb22..03a8677ca03 100644 --- a/etc/ChangeLog +++ b/etc/ChangeLog @@ -1,3 +1,8 @@ +Fri Nov 21 12:54:58 1997 Manfred Hollstein <manfred@s-direktnet.de> + + * Makefile.in: Add --no-split argument to avoid creating files + with names longer than 14 characters. + Tue Oct 7 16:27:34 1997 Manfred Hollstein <manfred@s-direktnet.de> * aclocal.m4: Substitute INSTALL. diff --git a/etc/Makefile.in b/etc/Makefile.in index a5d59d6efdb..cd00178df93 100644 --- a/etc/Makefile.in +++ b/etc/Makefile.in @@ -60,7 +60,7 @@ install-info: info dvi: $(DVIFILES) standards.info: $(srcdir)/standards.texi - $(MAKEINFO) -I$(srcdir) -o standards.info $(srcdir)/standards.texi + $(MAKEINFO) --no-split -I$(srcdir) -o standards.info $(srcdir)/standards.texi standards.dvi: $(srcdir)/standards.texi TEXINPUTS=$(TEXIDIR):$$TEXINPUTS $(TEXI2DVI) $(srcdir)/standards.texi |