document the python index update interface

2016-06-01 09:44:11 +02:00
parent 1503b2d890
commit 03063f58dc
3 changed files with 1180 additions and 542 deletions
@@ -19,7 +19,7 @@ commonoptions=--stringparam section.autolabel 1 \

 # index.html chunk format target replaced by nicer webhelp (needs separate
 # make) in webhelp/ subdir
-all: usermanual.html usermanual.pdf webh
+all: usermanual.html webh usermanual.pdf

 webh:
 	make -C webhelp