1 - lambda_doc.xml is a DocBook xml file from which the lambda docs are
3 - lambda_doc_chunks.xsl loads the stylesheets that generate a separate
4 html-file for each section
5 - lambda_doc.xsl loads stylesheets that generate one big html-file
6 (you need to edit the paths in these files to make them work)