Update deployment

Update .gitignore & fetch web content
ntkwan · Jan 5, 2024 · 18c883e · 18c883e
1 parent 0bad15e
commit 18c883e
Show file tree

Hide file tree

Showing 102 changed files with 2 additions and 14,743 deletions.
diff --git a/.gitignore b/.gitignore
@@ -35,7 +35,7 @@
 build
 svg-reader
 external/samples/gradient
-docs/latex/*
-!docs/latex/refman.pdf
+latex/*
+!latex/refman.pdf
 *.json
 *.jar
diff --git a/latex/Makefile b/latex/Makefile
diff --git a/latex/annotated.tex b/latex/annotated.tex
diff --git a/latex/classCircle.tex b/latex/classCircle.tex
diff --git a/latex/classCircle__coll__graph.md5 b/latex/classCircle__coll__graph.md5
diff --git a/latex/classCircle__coll__graph.pdf b/latex/classCircle__coll__graph.pdf
diff --git a/latex/classCircle__inherit__graph.md5 b/latex/classCircle__inherit__graph.md5
diff --git a/latex/classCircle__inherit__graph.pdf b/latex/classCircle__inherit__graph.pdf