summaryrefslogtreecommitdiff
path: root/publish
diff options
context:
space:
mode:
Diffstat (limited to 'publish')
-rwxr-xr-xpublish5
1 files changed, 5 insertions, 0 deletions
diff --git a/publish b/publish
index 4502b39..8b98f7c 100755
--- a/publish
+++ b/publish
@@ -44,6 +44,11 @@ done
cp -R ${HERE}/../assets ${HTML};
##
+#
+#
+cp ${HERE}/robots.txt ${HTML};
+
+##
# payload
#
(