|
From: | Massimo Manghi |
Subject: | extracting texinfo documentation |
Date: | Tue, 30 Oct 2012 11:13:49 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:10.0.9) Gecko/20121014 Icedove/10.0.9 |
Hi, sorry this is probably one of most silly questions that can be asked.Recently Juan Pablo published a findpeaks.m function which bears a detailed texinfo manual in it. I never used texinfo but I took as an copportunity to learn something new. So told myself that since 'help findpeaks' automatically squeezes out that manual page a standalone tool to do the same had to exist, but I could not find it. Is there a proper way to create texi files or send to a pipe the same data obtained from embedded texinfo docs?
-- Massimo
[Prev in Thread] | Current Thread | [Next in Thread] |