From 79e9024fe682e980ca28658913e9c614e833b074 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 a08b405b..51b519b5 100755 --- a/tools/publish +++ b/tools/publish @@ -20,5 +20,15 @@ then mkdocs build fi +# Generate robots.txt +cat > site/robots.txt <