File: GAPDoc2HTML.gd

package info (click to toggle)
gap-gapdoc 1.6.7-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,596 kB
  • sloc: xml: 3,502; makefile: 244; javascript: 155; sh: 3
file content (20 lines) | stat: -rw-r--r-- 625 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
#############################################################################
##
#W  GAPDoc2HTML.gd                 GAPDoc                        Frank Lübeck
##
##
#Y  Copyright (C)  2000,  Frank Lübeck,  Lehrstuhl D für Mathematik,  
#Y  RWTH Aachen
##
##  The  files GAPDoc2HTML.g{d,i}  contain  a  conversion program  which
##  produces from a  GAPDoc XML-document an HTML version for reading the
##  document with a Web-browser.
##  
 
DeclareGlobalVariable("GAPDoc2HTMLProcs");

DeclareGlobalFunction("GAPDoc2HTML");

DeclareGlobalFunction("GAPDoc2HTMLPrintHTMLFiles");

DeclareGlobalFunction("CopyHTMLStyleFiles");