1
0
mirror of https://github.com/brl/mutter.git synced 2025-02-24 08:54:08 +00:00
Emmanuele Bassi 5e1ccaeb60 docs: Clean up the additional documentation build
• Make the manual a DevHelp book

• Make the generation of PDFs of the cookbook and the manual optional

• Consequently, make the hard dependency on jw optional

• Clean up the checks and build for the additional documentation
2009-11-30 21:33:22 +00:00
..