felix@1137: To build pdf documentation, call `make` with the documents name without the
felix@1137: ".tex" extension, e.g.
felix@1137: 
felix@1137:   cd admin-manual
felix@1137:   make installation-admin-manual
felix@1137: 
felix@1137: will result in
felix@1137: 
felix@1137:   installation-admin-manual.pdf
felix@1137: 
felix@1137: .