[Maxima] printing Maxima 5.19.2 Manual

[Leo Butler]

On Mon, 5 Oct 2009, Jos Simons wrote:

< L.S.,
< 
< How can I print the whole Maxima 5.19.2 Manual by one printcommand. ?
< 
< Thanking you in advance for your answer,
< 
< Best regards,
< 
< Dr. José  Simons

In the doc/info directory of your maxima installation,

make pdf

will build the manual as a pdf file. You can print it as you would any
pdf file.

Note that the front page says v5.16.3. This is a bug, as you will see
the version is correctly identified later in the manual.

Leo
-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.