zhenyajiang / jupiter-eclipse-plugin

Automatically exported from code.google.com/p/jupiter-eclipse-plugin
0 stars 0 forks source link

Create downloadable PDF of the Jupiter User Manual #35

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
Someone has suggested that Jupiter have a PDF version of the user manual. 
I agree that this is a good thing.  This would be helpful since the wiki
pages are very limited in functionality and things like table of contents
are non-existent.  We used to have an HTML only version of the manual but
even that was a little painful as users would have to download the HTML
file and all the images.

The tools that will be used to accomplish this task are:
wt2db (WikiText to DocBook)
DocMan (DocBook Toolchain Manager)

Essentially what will happen is we will convert the UserGuide.wiki page to
DocBook XML.  From there the DocBook page can be converted to PDF.

Original issue reported on code.google.com by jsakuda on 8 Jun 2008 at 8:55

GoogleCodeExporter commented 8 years ago
Committed the script and other files to the wiki/pdf folder.

Original comment by jsakuda on 8 Jun 2008 at 8:57