lib(document)


    This library contains the tools necessary to generate documentation
    from ECLiPSe sources. It complements the file-to-file compiler
    library(fcompile) as follows:
    
    xyz.ecl  ---fcompile-->  xyz.eco
    xyz.ecl  ---icompile-->  xyz.eci  ---eci_to_html-->  xyz/...html
    
    

