[WIP] Breaking Change - Use Update

Folder name is changed, rework the html templates Change the organisation.
2019-05-10 16:06:43 +02:00
parent 8d8c03773c
commit 6e3677eb29
162 changed files with 3800 additions and 582492 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,10 @@
 auto/
 *.tex
+
 **/figs/*.pdf
 **/figs/*.svg
-=======
+**/figs/*.tex
+
 # Emacs
 auto/