On Jul 30, 2010, at 12:31 PM, Andreas Röhler wrote:
Am 30.07.2010 12:12, schrieb Philip Rooke:
Andreas Röhler<andreas.roeh...@easy-emacs.de> 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.
If calling
info org from shell
command-names, just introduced into org.texi alongside with its keys,
--see thread "keys and command name info"--
are not displayed.
After renaming org into org.info its shown.
Unfortunately, the correct extension seems to depend on the system... :(
- Carsten
_______________________________________________
Emacs-orgmode mailing list
Please use `Reply All' to send replies to the list.
Emacs-orgmode@gnu.org
http://lists.gnu.org/mailman/listinfo/emacs-orgmode
