../ cssAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago footer.htmlAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago header.htmlAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago index.txtChanged install.html to INSTALL.html in website; replaced a reference to README.html to INSTALL.html.20 years ago main.cssAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago print.cssAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago