1 files changed, 1 insertions, 0 deletions
diff --git a/build.sh b/build.sh
index 6400937..93f33b2 100755
--- a/build.sh
+++ b/build.sh
@@ -12,3 +12,4 @@ rm -rf public
 hugo -v -b http://www.andreasbaumann.cc/
 $SED -i "s@$TEST_URL@http://www.andreasbaumann.cc/strus/query/wwwandreasbaumanncc@g" \
 	public/search/index.html
+cp themes/new_theme/layouts/robots.txt public/.