From 822916723aaeee1ef9357ddaf2a5d4b763aa51ea Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 22 May 2023 10:50:57 +0200 Subject: [PATCH] Remove final Markdown comment --- src/GAP.jl | 3 +-- src/help.jl | 1 + 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/GAP.jl b/src/GAP.jl index f40009e0..798bd1ec 100644 --- a/src/GAP.jl +++ b/src/GAP.jl @@ -1,4 +1,4 @@ -@doc Markdown.doc""" +""" GAP.jl is the Julia interface to the GAP-System. For more information about GAP see https://www.gap-system.org/ @@ -48,7 +48,6 @@ include("setup.jl") import Base: length, finalize import Libdl -import Markdown import Random # setup the initial sysinfo dictionary; we'll update this later in __init__ diff --git a/src/help.jl b/src/help.jl index ccd34fc5..e0e2e5d2 100644 --- a/src/help.jl +++ b/src/help.jl @@ -1,5 +1,6 @@ ## enable access to GAP help system from Julia +import Markdown using REPL function gap_help_string(topic::String, onlyexact::Bool = false,