1
0
mirror of https://github.com/brl/mutter.git synced 2024-12-12 14:20:17 +00:00
Commit Graph

1 Commits

Author SHA1 Message Date
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