pldoc target

Makefile

@@ -48,7 +48,7 @@ all: biocham biocham_debug test doc/index.html jupyter
 quick: unit_tests
 
 .PHONY: all slow test unit_tests clean web cabernet cabernet_restart \
-  jupyter gadagne gadagne_restart jupyter_tests install
+  jupyter gadagne gadagne_restart jupyter_tests install pldoc
 
 # should we depend on jupyter target?
 install: biocham biocham_debug
@@ -92,9 +92,12 @@ modules/glucose/glucose-syrup/core/Solver.cc: modules/glucose/Solver.patch
 	rm -f glucose-syrup.tgz
 	patch $@ < $<
 
-doc/index.html doc/commands.js: biocham
+doc/index.html doc/commands.js: biocham pldoc
 	./biocham --generate-doc
 
+pldoc:
+	echo "doc_save(., [if(true), doc_root('doc/pldoc')])." | swipl -q
+
 # quick ones only
 unit_tests: biocham_debug
 	echo "run_tests_and_halt." | ./biocham_debug