Bjørn Erik Pedersen 54750b0780 Do not create robots.txt by default ... Meny people, including me, have a custom robots.txt in static. Also remove that option from the command line; it doesn't feel important enough. Fixes ##2049		2016-04-05 22:20:39 +02:00
..
configuration.md	Do not create robots.txt by default	2016-04-05 22:20:39 +02:00
installing.md
introduction.md
quickstart.md
source-directory.md
usage.md