rebuild documentation for 0.34

ott-lang · Dec 30, 2024 · 0d62c0f · 0d62c0f
1 parent 1b97147
commit 0d62c0f
Show file tree

Hide file tree

Showing 40 changed files with 222 additions and 225 deletions.
diff --git a/built_doc/top2.html b/built_doc/top2.html
diff --git a/built_doc/top2.pdf b/built_doc/top2.pdf
diff --git a/built_doc/top2.ps b/built_doc/top2.ps
diff --git a/built_doc/top2001.png b/built_doc/top2001.png
diff --git a/built_doc/top2002.png b/built_doc/top2002.png
diff --git a/built_doc/top2003.png b/built_doc/top2003.png
diff --git a/built_doc/top2004.png b/built_doc/top2004.png
diff --git a/built_doc/top2005.png b/built_doc/top2005.png
diff --git a/built_doc/top2006.png b/built_doc/top2006.png
diff --git a/built_doc/top2007.png b/built_doc/top2007.png
diff --git a/built_doc/top2008.png b/built_doc/top2008.png
diff --git a/built_doc/top2009.png b/built_doc/top2009.png
diff --git a/built_doc/top2010.png b/built_doc/top2010.png
diff --git a/built_doc/top2011.png b/built_doc/top2011.png
diff --git a/built_doc/top2012.png b/built_doc/top2012.png
diff --git a/built_doc/top2013.png b/built_doc/top2013.png
diff --git a/built_doc/top2014.png b/built_doc/top2014.png
diff --git a/built_doc/top2015.png b/built_doc/top2015.png
diff --git a/built_doc/top2016.png b/built_doc/top2016.png
diff --git a/built_doc/top2017.png b/built_doc/top2017.png
diff --git a/built_doc/top2018.png b/built_doc/top2018.png
diff --git a/built_doc/top2019.png b/built_doc/top2019.png
diff --git a/built_doc/top2020.png b/built_doc/top2020.png
diff --git a/built_doc/top2021.png b/built_doc/top2021.png
diff --git a/built_doc/top2022.png b/built_doc/top2022.png
diff --git a/built_doc/top2023.png b/built_doc/top2023.png
diff --git a/built_doc/top2024.png b/built_doc/top2024.png
diff --git a/built_doc/top2025.png b/built_doc/top2025.png
diff --git a/built_doc/top2026.png b/built_doc/top2026.png
diff --git a/built_doc/top2027.png b/built_doc/top2027.png
diff --git a/built_doc/top2028.png b/built_doc/top2028.png
diff --git a/built_doc/top2029.png b/built_doc/top2029.png
diff --git a/built_doc/top2030.png b/built_doc/top2030.png
diff --git a/built_doc/top2031.png b/built_doc/top2031.png
diff --git a/built_doc/top2032.png b/built_doc/top2032.png
diff --git a/built_doc/top2033.png b/built_doc/top2033.png
diff --git a/built_doc/top2034.png b/built_doc/top2034.png
diff --git a/built_doc/top2035.png b/built_doc/top2035.png
diff --git a/built_doc/top2036.png b/built_doc/top2036.png
diff --git a/built_doc/top2037.png b/built_doc/top2037.png