Araq
|
9d2dfa9a99
|
further cleanups; refs #4934
|
2016-10-24 12:20:51 +02:00 |
|
Araq
|
f1d2ed757e
|
moved start.bat to tools/
|
2016-10-24 12:05:42 +02:00 |
|
Araq
|
ed9d0809ae
|
docgen: PDFs and HTMLs finally are generated in their own respective directories
|
2016-10-24 11:55:23 +02:00 |
|
Araq
|
fb3b5bc5ad
|
better error messages for finish.nim
|
2016-10-22 11:11:50 +02:00 |
|
Araq
|
7cea3b6a35
|
finish tool: proper spacing in output
|
2016-10-22 10:27:25 +02:00 |
|
Andreas Rumpf
|
e6ff6dd9c8
|
koch: finish is now its own command
|
2016-10-11 20:31:43 +02:00 |
|