Joscha b70b62cef5 Make crawler sections start with "crawl:"
Also, use only the part of the section name after the "crawl:" as the crawler's
output directory. Now, the implementation matches the documentation again
2021-05-15 17:24:37 +02:00
..
2021-05-11 00:28:03 +02:00
2021-05-14 21:27:44 +02:00
2021-05-14 21:27:44 +02:00
2021-05-11 00:28:03 +02:00
2021-05-15 15:25:05 +02:00
2021-05-14 21:28:38 +02:00
2021-05-15 15:25:05 +02:00
2021-05-13 22:28:14 +02:00
2021-05-14 21:27:44 +02:00