Merge pull request #2046 from benjeffery/fix_doc_dist

benjeffery · web-flow · commit f13999ac4d6f · 2021-12-09T19:06:19.000Z
Doc dist build needs doxygen
diff --git a/docs/Makefile b/docs/Makefile
@@ -17,6 +17,7 @@ dev:
 
 dist:
 	@echo Building distribution for tskit version ${TSK_VERSION}
+	cd doxygen && doxygen
 	sed -i -e s/__TSKIT_VERSION__/${TSK_VERSION}/g _config.yml
 	PYTHONPATH=${PYPATH} ./build.sh
 
diff --git a/docs/_config.yml b/docs/_config.yml
@@ -24,8 +24,8 @@ html:
   use_edit_page_button: true
   # Do not edit this - the version placeholder is replaced by the
   # current version during a distribution build in the Makefile
-  extra_navbar: tskit __TSKIT_VERSION__
-  extra_footer: tskit __TSKIT_VERSION__
+  extra_navbar: tskit 0.4.0b1
+  extra_footer: tskit 0.4.0b1
 
 sphinx:
     extra_extensions:
