../ 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.txt+ Small changes to Makefile for better handling of Windows executable. + Added windows executable to the website target.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