../ 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.txtPut notice about the GPL on web page.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