use doxygen as github pages in docs/

This commit is contained in:
Johann Dreo 2020-10-18 17:01:56 +02:00
commit 7e75e8fb13
171 changed files with 10089 additions and 5 deletions

View file

@ -23,3 +23,8 @@ for t in "Debug" "Release" "RelWithDebInfo"; do
done
done
echo "Update documentation"
cd Debug_ON
make doc
cp -r html/* ../docs/