diff options
Diffstat (limited to 'etc/Makefile.in')
| -rw-r--r-- | etc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/Makefile.in b/etc/Makefile.in index cd00178df93..c4900829c25 100644 --- a/etc/Makefile.in +++ b/etc/Makefile.in @@ -59,7 +59,7 @@ install-info: info dvi: $(DVIFILES) -standards.info: $(srcdir)/standards.texi +standards.info: $(srcdir)/standards.texi $(srcdir)/make-stds.texi $(MAKEINFO) --no-split -I$(srcdir) -o standards.info $(srcdir)/standards.texi standards.dvi: $(srcdir)/standards.texi |