##############################################################################
##
#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
