Convert info files to PDF

MTK358 · 11-29-2011, 11:47 AM

How to convert GNU info files to PDF? They are often really large and it would be nice to be able to read them in a GUI document viewer. I would like to create something similar to this, which I created for man pages:

Code:

#!/bin/bash

filename=/tmp/man-okular-$USER-$$-$RANDOM.ps

man -Tps $@ > "$filename"
okular "$filename"
rm "$filename"

andywebsdale · 11-29-2011, 04:09 PM

There's info2html, then you could either view them in a browser, or it should be easy to do html=>pdf
Also there's info -o --output=FILENAME which outputs to a text file (from the man page)

MTK358 · 11-29-2011, 04:19 PM

I don't have a command called "info2html" installed, and I don't get any results when I try "pacman -Ss info2tml". Is it part of a larger package containing multiple commands?

Also, what tool do I use to convert HTML to PDF? Note that it would be nice if it would preserve the tree structure of the document so that I can use the table of contents feature of most PDF viewers. Will converting info->HTML->PDF perserve it?

andywebsdale · 11-29-2011, 06:56 PM

Sorry, I didn't take note of the distro you're using. Here's a link to info2html's Sourceforge page . Its a perl script so should be OK on your system. As far as html=>pdf goes, I see there's an Arch package called wkhtmltopdf for example, & you probably could use Libre Office or similar to read html & output pdf.
Its quite cool though in a browser, you can navigate through the index (of man as well, with man2html) & I'm using apache to serve the pages. You get a main contents page with a search & lookup box. I'm not running the info version ATM, just man2html, but its similar.
There is the "info -o --output=FILENAME" command as well, which has text output

SharpyWarpy · 11-30-2011, 09:18 AM

Hmm, seems like I remember doing that with OpenOffice.org. Just use the drop down menu and export to PDF. In my distro I think the extension for OpenOffice.org is openoffice.org-extendedPDF.