diff --git a/Dockerfile b/Dockerfile index f7888fb..c30ae93 100644 --- a/Dockerfile +++ b/Dockerfile @@ -40,6 +40,9 @@ server { location /robots.txt { \n\ root /srv/website/public; \n\ } \n\ + location /googlef97f8402f9139518.html { \n\ + root /srv/website/public; \n\ + } \n\ location / { \n\ rewrite /posts/guide_introduction /docs/ permanent; \n\ rewrite /posts/guide_install /docs/guide/install permanent; \n\ diff --git a/website/public/googlef97f8402f9139518.html b/website/public/googlef97f8402f9139518.html new file mode 100644 index 0000000..5dd5cc3 --- /dev/null +++ b/website/public/googlef97f8402f9139518.html @@ -0,0 +1 @@ +google-site-verification: googlef97f8402f9139518.html \ No newline at end of file