Re: [Orgmode] bug in make info?

[Andreas Röhler]

Am 30.07.2010 12:12, schrieb Philip Rooke:
> Andreas Röhler<address@hidden>  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.

Andreas