Document Creation Process

In order to allow distributed and convenient editing using the wiki
AND producing documents with high quality typesetting, the document creation process
as depicted in Document Creation Process is implemented.

Wiki is primary source

The primary editing is performed in the present Wiki, which uses the
Textile-markup as explained here.

Rules for Wiki-based documentation

In order to allow conversion to LaTeX, the following rules MUST be considered:

  1. A Wiki-page corresponds to a LaTeX-chapter and hence a Wiki-page SHOULD NOT include sub-Wiki-pages.
  2. References to literature MAY be included, if they are included as link with brackets [ ] around the "LABEL" (e.g. [BSI-TR-03112-7]),
    where the LABEL SHOULD be defined in an appropriate BibTeX-file.

RedCloth conversion to raw LaTeX

The Textile-markup from the Wiki can be converted to LaTeX using RedCloth.

Cleaning up LaTeX using awk

In order to support references to documents (e.g. [BSI-TR-03112-7]) or
the inclusion of pretty-printed XML- or Java-code (e.g. 

<xml> ... </xml>
), the raw LaTeX document needs to be cleaned up with awk.
This includes the following replacements:

 
1. <pre><code class="XXX"> --> \begin{minted}[bgcolor=bg]{XXX}
2. </code></pre>           --> \end{minted}
3. "[LABEL]":http://url    --> \cite{LABEL}
4. [[WikiRef]]             --> ...