Stop pretending OscarInterface has a manual

We might add one in the future, but for now there is none.
oscar-system · Jul 24, 2024 · 77a500e · 77a500e
1 parent ed82b76
commit 77a500e
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/gap/OscarInterface/PackageInfo.g b/gap/OscarInterface/PackageInfo.g
@@ -64,14 +64,7 @@ Status := "other",
 
 AbstractHTML   :=  "",
 
-PackageDoc := rec(
-  BookName  := "OscarInterface",
-  ArchiveURLSubset := ["doc"],
-  HTMLStart := "doc/chap0_mj.html",
-  PDFFile   := "doc/manual.pdf",
-  SixFile   := "doc/manual.six",
-  LongTitle := "GAP interface to OSCAR",
-),
+PackageDoc := [],
 
 Dependencies := rec(
   GAP := ">= 4.12",