Help

Generation of PDF documents

Note the new PDF generator, which can convert nearly all wiki pages into real PDF documentation documents including good formatting, title page, contents page, functional bookmarks anchors and links inside the document.

Simply click on the new item "PDF Export" in the menu bar!

Note that there is a delay of several seconds for the first generation of the PDF document after changing an article. Be patient then. But afterwards a cached versio is used and delivered instantly until the next change.

If you have problems with this function, let us know!