1- lambda_doc.xml is a DocBook xml file from which the lambda docs are 2generated 3- lambda_doc_chunks.xsl loads the stylesheets that generate a separate 4html-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) 7 8