Add changesources.g script for updating manual examples

gap-packages · May 19, 2021 · 92212cf · 92212cf
1 parent b6213c8
commit 92212cf
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/changesources.g b/changesources.g
@@ -0,0 +1,7 @@
+# Update the examples in the manual to match the output of the GAP
+# version used to process this file
+example_tree := ExtractExamples( Directory("./doc/"), "forms.xml",[], 500);;
+RunExamples(example_tree, rec(
+    changeSources:=true,
+    width := 80,
+));