made building user doc optional at configure time

Jean-Francois Dockes Jean-Francois Dockes 2015-08-23

changed src/doc/user/usermanual.xml
changed src/Makefile.am
changed src/configure.ac
src/doc/user/usermanual.xml Diff Switch to side-by-side view
Loading...
src/Makefile.am Diff Switch to side-by-side view
Loading...
src/configure.ac Diff Switch to side-by-side view
Loading...