Tree [67de53] bzr/mspgcc-documentation /

HTTPS access

File Date Author Commit
 README.txt 2009-09-21 zsquareplusc <> [67de53] fix case
 documentation.txt 2008-06-02 cliechti <> [6c8e7e] docs update
 faq.xml 2004-04-05 coppice <> [9240e9] Added a Q/A about interrupts and volatiles
 jadetex.cfg 2003-11-27 cliechti <> [40a45a] - updated makefile for PDF builds
 makefile 2008-05-31 cliechti <> [7f82d3] fix path handling with msys
 mspgcc-manual.xml 2008-10-09 sb-sf <> [a67f19] * New cpu added:
 mspgcc.dsl 2003-11-27 cliechti <> [40a45a] - updated makefile for PDF builds
 stylesheet.css 2006-01-18 cliechti <> [a57cbb] - impoved doc file that is installed

Read Me

Documentation on Documentation
The XML files contain the DocBook sources for the Manual and FAQ.
They are converted to HTML and can be found on the homepage
The makefile also contains rules to build PDFs from these files.

Build overview
"openjade" is a jade implementation that can convert docbook XML sources
to different output formats. "jw" is a wrapper for call to jade/openjade
and "docbook2html" as well as "docbook2tex" are in turn wrappers to "jw".

That in mind we can simply call
$ docbook2html -o faq faq.xml
and get a ready made HTML documentation in the faq folder.

For the PDF docs it's slightly more complicated. We use two steps here.
First a TeX source file has to generated:
$ docbook2tex --dsl mspgcc.dsl#print mspgcc-manual.xml

The --dsl option loads a customization file for the jade processor. It
contains instructions for page size, double sided print and that the PDF
bookmark are generated (the dsl file could have options for html too, but
we currently do not use them).

Then that .tex file can be converted to PDF using 
$ pdfjadetex mspgcc-manual.tex

TeX is a single pass "compiler" so that indexes, table of contents (TOC) and such
use the page number of the *last* run. That means that we have to run it three
times to get correct page numbers. (1st pass with empty TOC, 2nd pass with correct
sized TOC but wrong page numbers as the TOC now uses more space on the page and
shifts down other contents, 3rd pass with correct TOC and page numbers)

"jadepdftex" can be customized with a jadetex.cfg file in the working directoty. We
use that to set TeX options, such as PDF author, bookmark expansion on startup, etc.

*.xml           DocBook XML sources "book" style
jadetex.cfg     TeX source, customizations for jadepdftex.
mspgcc.dsl      DSSSL Style Sheet for Jade, XML format.
makefile        Build commands for HTML and PDF docs


The following packages are required to run the makefile.

* Debian GNU/Linux
    apt-get install docbook
    apt-get install docbook-utils
    apt-get install openjade
    apt-get install jadetex

Do *not* install "jade". "openjade" provides a replacment that can also do the
PDF bookmarks, which the former can't. The docbook-utils such as "pdfjadetex"
autodetect jade and would take "jade" if it's installed.


Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks