|
From: | Massimo Manghi |
Subject: | Re: extracting texinfo documentation |
Date: | Tue, 30 Oct 2012 11:40:09 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:10.0.9) Gecko/20121014 Icedove/10.0.9 |
On 10/30/2012 11:19 AM, Søren Hauberg wrote:
On Oct 30, 2012, at 11:13 AM, Massimo Manghi wrote:[...] Is there a proper way to create texi files or send to a pipe the same data obtained from embedded texinfo docs?Have a look at the source for 'help' (do 'type help' at the Octave prompt). I think the functions you are interested in are, 'get_help_text' and '__makeinfo__'. Søren
Yes, thanks a lot! -- Massimo
[Prev in Thread] | Current Thread | [Next in Thread] |