Re: [Orgmode] bug in make info?

[Carsten Dominik]

On Jul 30, 2010, at 12:31 PM, Andreas Röhler wrote:

> 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.

Unfortunately, the correct extension seems to depend on the system... :(

- Carsten