2 Commits

Author	SHA1	Message	Date
ridiculousfish	df4b03d859	Fix CMake documentation build path ... This fixes a variety of issues related to building the documentation with CMake. In particular it cleans up the dependency management and fixes some issues where the documentation build was using generated files from the source directory.	2018-03-05 12:13:34 -08:00
ridiculousfish	d7baabab8d	Factor out script to build user_doc ... As part of factoring out the documentation building parts of the fish build, add a new file build_user_doc.sh that builds the user_doc directory. Invoke it from both the Makefile and CMake build.	2017-10-14 13:11:42 -07:00