125 |
# The following target uses an explicit -o switch to work around |
# The following target uses an explicit -o switch to work around |
126 |
# the @setfilename directive in info.texi, which is required for |
# the @setfilename directive in info.texi, which is required for |
127 |
# the Texinfo distribution. |
# the Texinfo distribution. |
128 |
|
# Some Windows ports of makeinfo seem to require -o to come before the |
129 |
|
# texi filename, contrary to GNU standards. |
130 |
|
|
131 |
$(infodir)/info: $(INFOSOURCES) |
$(infodir)/info: $(INFOSOURCES) |
132 |
$(MAKEINFO) --no-split info.texi -o $@ |
$(MAKEINFO) --no-split -o $@ info.texi |
133 |
|
|
134 |
info.dvi: $(INFOSOURCES) |
info.dvi: $(INFOSOURCES) |
135 |
$(ENVADD) $(TEXI2DVI) $(srcdir)/info.texi |
$(ENVADD) $(TEXI2DVI) $(srcdir)/info.texi |