Remove assertions.jl now moved to AA

thofma · Sep 17, 2024 · 83c5b66 · 83c5b66
1 parent a98b156
commit 83c5b66
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 708 deletions.
diff --git a/docs/Build.jl b/docs/Build.jl
@@ -43,15 +43,14 @@ using Pkg, Nemo, Documenter, DocumenterVitepress, DocumenterCitations
                       "pmat/introduction.md",
                       "misc/conjugacy.md",
                       ],
-          "Extra features" => ["features/macros.md",
-                               "features/mset.md",
+          "Extra features" => ["features/mset.md",
                               ],
           "Examples" => "examples.md",
           "References" => "references.md",
           "Developer" => [ "dev/test.md",
                          ]
          ]
- 
+
 # Overwrite printing to make the header not full of redundant nonsense
 # Turns
 #   Hecke.Order - Method

diff --git a/docs/src/manual/developer/macros.md b/docs/src/manual/developer/macros.md