diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2001-04-14 11:50:31 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2001-04-14 11:50:31 +0000 |
| commit | db921254738a2aa6866c70059e4abbc622850551 (patch) | |
| tree | e9f96aeba1e64938d7cd50efe0dd59fcd315d9a5 /man/Makefile.in | |
| parent | 560ea2d58658721831640ddd8f715cdb3cebf7a6 (diff) | |
| download | emacs-db921254738a2aa6866c70059e4abbc622850551.tar.gz | |
(../info/info): Use an explicit -o switch to makeinfo.
Diffstat (limited to 'man/Makefile.in')
| -rw-r--r-- | man/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index f9feab6a0b9..642c6c83a3e 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -106,8 +106,12 @@ dvi: $(DVI_TARGETS) # to exist in the build directory. # In a distribution of Emacs, the Info files should be up to date. +# The following target use an explicit -o switch to work around +# the @setfilename directive in info.texi, which is required for +# the Texinfo distribution. + ../info/info: ${INFOSOURCES} - cd $(srcdir); $(MAKEINFO) --no-split info.texi + cd $(srcdir); $(MAKEINFO) --no-split info.texi -o $@ info.dvi: ${INFOSOURCES} $(ENVADD) $(TEXI2DVI) ${srcdir}/info.texi |