Removed doc/lib (will be hosted on GH Pages instead)

jserot · Nov 14, 2023 · c492954 · c492954
1 parent 991e3e9
commit c492954
Show file tree

Hide file tree

Showing 478 changed files with 0 additions and 2,651 deletions.
diff --git a/Makefile b/Makefile
@@ -26,9 +26,6 @@ doc.view:
 doc.html:
 	dune build @doc
 
-doc.install:
-	cp -r _build/default/_doc/_html doc/lib
-
 doc.pdf:
 	(cd ./doc/user_manual; make)
 	(cd ./doc/ref_manual; make)

diff --git a/doc/lib/_odoc_support/fonts/KaTeX_AMS-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_AMS-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Caligraphic-Bold.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Caligraphic-Bold.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Caligraphic-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Caligraphic-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Fraktur-Bold.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Fraktur-Bold.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Fraktur-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Fraktur-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Main-Bold.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Main-Bold.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Main-BoldItalic.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Main-BoldItalic.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Main-Italic.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Main-Italic.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Main-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Main-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Math-BoldItalic.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Math-BoldItalic.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Math-Italic.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Math-Italic.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_SansSerif-Bold.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_SansSerif-Bold.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_SansSerif-Italic.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_SansSerif-Italic.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_SansSerif-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_SansSerif-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Script-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Script-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Size1-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Size1-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Size2-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Size2-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Size3-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Size3-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Size4-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Size4-Regular.woff2
diff --git a/doc/lib/_odoc_support/fonts/KaTeX_Typewriter-Regular.woff2 b/doc/lib/_odoc_support/fonts/KaTeX_Typewriter-Regular.woff2
diff --git a/doc/lib/_odoc_support/highlight.pack.js b/doc/lib/_odoc_support/highlight.pack.js
diff --git a/doc/lib/_odoc_support/katex.min.css b/doc/lib/_odoc_support/katex.min.css
diff --git a/doc/lib/_odoc_support/katex.min.js b/doc/lib/_odoc_support/katex.min.js