Doc update

uds-se · Jan 16, 2025 · 7403038 · 7403038
1 parent 4da45df
commit 7403038
Show file tree

Hide file tree

Showing 13 changed files with 57 additions and 222 deletions.
diff --git a/docs/beta/code/README.md b/docs/beta/code/README.md
diff --git a/docs/beta/code/Tracking.py b/docs/beta/code/Tracking.py
@@ -3,7 +3,7 @@
 
 # "Tracking Bugs" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/Tracking.html
-# Last change: 2025-01-13 16:04:06+01:00
+# Last change: 2025-01-16 11:28:05+01:00
 #
 # Copyright (c) 2021-2025 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/code/bookutils/__init__.py b/docs/beta/code/bookutils/__init__.py
@@ -164,9 +164,10 @@ def show_ast(tree: AST) -> Optional[Any]:
         print(ast.dump(tree))
         return None
 
-    # Note: For Python >=3.12, this needs the patched `showast2` module
-    # e.g. git+https://github.com/andreas-zeller/show_ast.git@andreas
-    import showast2
+    # For Python >=3.12,
+    # we need the patched `showast2` module instead of `showast`
+    # see git+https://github.com/andreas-zeller/show_ast.git@andreas
+    import showast2  # type: ignore
     return showast2.show_ast(tree)
 
 # Escaping unicode characters into ASCII for user-facing strings

diff --git a/docs/beta/code/requirements.txt b/docs/beta/code/requirements.txt
diff --git a/docs/beta/code/setup.py b/docs/beta/code/setup.py
diff --git a/docs/beta/dist/debuggingbook-1.3.1.tar.gz b/docs/beta/dist/debuggingbook-1.3.1.tar.gz
diff --git a/docs/beta/dist/debuggingbook-1.3.tar.gz b/docs/beta/dist/debuggingbook-1.3.tar.gz
diff --git a/docs/beta/dist/debuggingbook-code.zip b/docs/beta/dist/debuggingbook-code.zip
diff --git a/docs/beta/dist/debuggingbook-notebooks.zip b/docs/beta/dist/debuggingbook-notebooks.zip
diff --git a/docs/beta/html/00_Table_of_Contents.html b/docs/beta/html/00_Table_of_Contents.html
@@ -12311,7 +12311,7 @@ <h4 id="Inspecting-Call-Stacks"><a href="StackInspector.html">Inspecting Call St
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/debuggingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/00_Table_of_Contents.ipynb" target=_blank)>Last change: 2025-01-13 16:46:23+01:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/00_Table_of_Contents.ipynb" target=_blank)>Last change: 2025-01-16 11:45:33+01:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12327,7 +12327,7 @@ <h4 id="Inspecting-Call-Stacks"><a href="StackInspector.html">Inspecting Call St
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">The Debugging Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html</a>.  Retrieved 2025-01-13 16:46:23+01:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">The Debugging Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html</a>.  Retrieved 2025-01-16 11:45:33+01:00.
 </p>
 <pre>
 @incollection{debuggingbook2025:00_Table_of_Contents,
@@ -12337,9 +12337,9 @@ <h2>How to Cite this Work</h2>
     year = {2025},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html}},
-    note = {Retrieved 2025-01-13 16:46:23+01:00},
+    note = {Retrieved 2025-01-16 11:45:33+01:00},
     url = {https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html},
-    urldate = {2025-01-13 16:46:23+01:00}
+    urldate = {2025-01-16 11:45:33+01:00}
 }
 </pre>
 </div>