1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
##############################################################################
##
#W files.gd GAP4 package `Utils' Sebastian Gutsche
## Max Horn
## Stefan Kohl
#Y Copyright (C) 2015-2025, The GAP Group
#############################################################################
## this function has been transferred from RCWA
##
#F Log2HTML ( logfilename )
##
## Utility to convert GAP log files to XHTML 1.0 Strict.
##
## Usage:
##
## - Issue Log2HTML( <logfilename> ). The extension of the input file must
## be *.log. The name of the output file is the same as the one of the
## input file except that the extension *.log is replaced by *.html.
##
## - Adapt the style file rcwa/doc/gaplog.css to your taste.
##
DeclareGlobalName( "Log2HTML" );
#############################################################################
##
#E files.gd . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
|
