From 7dfea680bad8ef28540a4929a636c1759f9fa426 Mon Sep 17 00:00:00 2001 From: viennet Date: Sun, 25 Apr 2021 21:43:21 +0200 Subject: [PATCH] Add robots.txt and link to favicon --- tools/publish | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/tools/publish b/tools/publish index a08b405..51b519b 100755 --- a/tools/publish +++ b/tools/publish @@ -20,5 +20,15 @@ then mkdocs build fi +# Generate robots.txt +cat > site/robots.txt <