For the records, wrong tag. This is the last one:
git checkout debian/4.0.3-1
How can I build the manual from the git repository?
I could not find any instructions in the repository nor in the manual.
"Editing and building the live-manual" might be a better title rather than the current "Contributing to this document". i would have clicked on it immediately.
Sorry for all these emails but I have only a week to complete a project.