Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/cddinterface/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 24.5.2025 mit Größe 464 B image not shown  

Quelle  makedoc.g   Sprache: unbekannt

 
#
# CddInterface: interface to cdd library
#
# This file is a script which compiles the package manual.
#

if fail = LoadPackage("AutoDoc", ">= 2019.04.10") then
    Error("AutoDoc 2019.04.10 or newer is required");
fi;

AutoDoc( 
        rec(
            scaffold := rec( entities := [ "GAP4", "homalg" ] ),
            autodoc := rec( files := [ "doc/intro.autodoc" ] ),
            #extract_examples := rec( units := "Single" )
            ) 
        );

QUIT;

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]