lib(document)


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

