Please ignore the question in my email, I am now able to generate a
   pdf from the texi document.

Ok.  Note that you can use the build-aux/gendocs.sh script.

-- 
Jose E. Marchesi  <[email protected]>
                  http://www.jemarch.net
GNU Project       http://www.gnu.org


Reply via email to