diff --git a/build.sh b/build.sh index ed3b629d..c700d65d 100755 --- a/build.sh +++ b/build.sh @@ -23,4 +23,4 @@ mv 4.0/site site/4.0; mv 1.5/.couscous/generated site/1.5; echo "" > site/index.html; - +cp googlefc012e5d94cfa05f.html site/googlefc012e5d94cfa05f.html; diff --git a/googlefc012e5d94cfa05f.html b/googlefc012e5d94cfa05f.html new file mode 100644 index 00000000..92b38416 --- /dev/null +++ b/googlefc012e5d94cfa05f.html @@ -0,0 +1 @@ +google-site-verification: googlefc012e5d94cfa05f.html \ No newline at end of file