Dan fd0908227e Use -U instead of --upgrade (more concise)

2020-03-30 13:03:02 +02:00

..

scripts

Move docs scripts into a dedicated folder

2020-03-30 13:02:23 +02:00

source

Use -U instead of --upgrade (more concise)

2020-03-30 13:03:02 +02:00

make.bat

Add documentation source files

2017-12-30 19:47:18 +01:00

Makefile

Restore original Makefile

2018-09-05 16:41:46 +02:00

robots.txt

Update robots.txt

2019-07-01 14:29:02 +02:00