more documentation

2026-05-23 06:35:32 +00:00 · 2015-06-21 18:30:08 +02:00
parent d972483b33
commit 4bb5126502
9 changed files with 186 additions and 32 deletions
@@ -50,6 +50,7 @@ update_doxygen_online:
 	rm -fr html
 	mv /tmp/github-html html
 	-cd html ; git rm $(shell git ls-files --deleted)
+	git add html
 	git commit -m "Doxygen update"
 	git checkout master