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

..

aliases.md

Add documentation for Google Analytics internal template

2016-02-13 11:41:21 +01:00

analytics.md

Add documentation for Google Analytics internal template

2016-02-13 11:41:21 +01:00

builders.md

Add documentation for Google Analytics internal template

2016-02-13 11:41:21 +01:00

comments.md

Docs: fix Disqus shortname reference

2016-02-13 11:23:21 +01:00

crossreferences.md

…

datadrivencontent.md

Docs: fix missing words, tense in datadrivencontent.md

2016-03-07 20:39:55 +01:00

datafiles.md

…

highlighting.md

docs: Document GitHub flavoured code fences

2016-03-28 16:38:28 +02:00

livereload.md

…

localfiles.md

…

menus.md

…

pagination.md

…

permalinks.md

…

robots-txt.md

Do not create robots.txt by default

2016-04-05 22:20:39 +02:00

scratch.md

Add Scratch to shortcode

2016-03-21 21:11:20 -04:00

shortcodes.md

Allow picking a specific file out of a gist

2016-03-11 18:29:07 +01:00

toc.md

…

urls.md

…