The new Docbook based manual is in works. Basically we are converting current manual which is one big HTML file to several smaller Docbook files. From DocBook we can later generate both HTML manual (for the Web) and the CHM manual for the local installation.
New manual's files are in folder Docs/Users/Manual/
.
Our manual build system uses the following tools:
There is a tool package created for building the manual. Download the tool package
from
our manual build tools package v1 (it includes all required tools except
of Java) and unzip it to the
build
subdirectory at the Manual
directory.
The batch files are also located at the build
subdirectory at the Manual
directory.
The main file ist build.bat
. Paths to the installed tools are written in the configuration.bat
file.
build.bat html
or build_html.bat
html
subdirectory at the build
directory.build.bat htmlhelp
or build_htmlhelp.bat
htmlhelp
subdirectory at the build
directory.build.bat
build.bat html
.