update build section in manual

Jean-Francois Dockes Jean-Francois Dockes 2017-03-01

changed src/doc/user/usermanual.html
changed src/doc/user/usermanual.xml
src/doc/user/usermanual.html Diff Switch to side-by-side view
Loading...
src/doc/user/usermanual.xml Diff Switch to side-by-side view
Loading...