Details
-
Type:
Improvement
-
Status:
Closed
-
Priority:
Minor
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: None
-
Labels:None
-
Number of attachments :
Description
I've been playing with the pdf plugin to generate documentations as well as the project website. However the standard navigation.xml isn't very appropriate for that ( generates empty pages for external links, or deeply nested pages don't show up ). So I've come to use an alternative navigation.xml to generate the pdf file. It would be nice if the plugin supported a property allowing to set an alternative navigation.xml ( as a hack I'm currently using preGoal and postGoal to move the 2 navigation.xml around ).
Got a patch?