Andreas Röhler <[email protected]> writes:
> `make info' produces a texinfo-file `org' in directory `doc'.
>
> Shouldn't the ending be `info', i.e. the output be `org.info'?
Not necessarily. The Makefile has the following target:
doc/org: doc/org.texi
(cd doc; $(MAKEINFO) --no-split org.texi -o org)
where Carsten seems to have explicitly (-o option) set the output
filename to be org.
_______________________________________________
Emacs-orgmode mailing list
Please use `Reply All' to send replies to the list.
[email protected]
http://lists.gnu.org/mailman/listinfo/emacs-orgmode
