[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Orgmode] bug in make info?
|
From: |
Philip Rooke |
|
Subject: |
Re: [Orgmode] bug in make info? |
|
Date: |
Fri, 30 Jul 2010 11:12:38 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (darwin) |
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.