Re: [O] no info files created w/ current git-repo

Mon, 25 Mar 2013 08:28:42 -0700 

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 :-)
























					Reply via email to