Supply pull request from auto build user's private fork once the syntax map change is detected.
Merge pull request #13 from sudhirpandey/master

Supply pull request from auto build user's private fork once the syntax ...
Update json files after fixes to json generator
sourceLine -> line
JSON now gives start of body/bundle declaration, so simplify parser.

Search down, split into header lines (between declaration and code), and
code lines (including declaration). Parse header lines as doxygen.
Script for regenerating json files
Better name
A concatenator that creates single markdown files for top-level pages.

Depth-first, taking sorting tags into account. The generated pages
have name *-printsource.markdown and can be turned into single PDF
documents.
TOS will have static position on scrolling
CSS and js fixes
added print icons
rename jumpto to TOC
show second level inside "parent" item
various layout changes
Link to top
new way of generating left navigation
cleanup
delete unused files
proper media type for CSS
PDF and Print buttons images
Logo for printed pages
postprocessing script for PDF generation
Instruction for weasyprint and apache2 installation
Merge pull request #16 from dmitry84/master

PDF generation, navigation and CSS fixes