|
| From: | Achim Gratz |
| Subject: | Re: [O] no info files created w/ current git-repo |
| Date: | Mon, 25 Mar 2013 16:28:47 +0100 |
| User-agent: | Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130307 Thunderbird/17.0.4 |
Am 25.03.2013 12:53, schrieb Andreas Röhler:
make all builds some .pdf and .html docu, but not info
It does, the info file is called "org". Regards, -- Achim. (on the road :-)
| [Prev in Thread] | Current Thread | [Next in Thread] |