From 77a500e563e158580349438ffc7d43634a42fe49 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Wed, 24 Jul 2024 11:21:26 +0200
Subject: [PATCH] Stop pretending OscarInterface has a manual

We might add one in the future, but for now there is none.
---
 gap/OscarInterface/PackageInfo.g | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/gap/OscarInterface/PackageInfo.g b/gap/OscarInterface/PackageInfo.g
index 7dd69bbdf5e8..975c342cf939 100644
--- 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",