This adds the targets make doc, make doc_html, and make_pdf to the cmake build system. make doc builds both of the other targets.
The targets depend on all files in doc/source so it is only rebuild if something changes in that directory.
The only change to the existing system that I had to make was the modification to the conf.py that makes the exclude path of doc/build independent of the directory it is executed from (otherwise I got the same recursive addition of build files we repaired earlier in the week).
This adds the targets
make doc,make doc_html, andmake_pdfto the cmake build system.make docbuilds both of the other targets.The targets depend on all files in
doc/sourceso it is only rebuild if something changes in that directory.The only change to the existing system that I had to make was the modification to the conf.py that makes the exclude path of
doc/buildindependent of the directory it is executed from (otherwise I got the same recursive addition of build files we repaired earlier in the week).