diff --git a/app/web/googlea47c4a0b36d11021.html b/app/web/googlea47c4a0b36d11021.html
new file mode 100644
index 0000000..9ac6df3
--- /dev/null
+++ b/app/web/googlea47c4a0b36d11021.html
@@ -0,0 +1 @@
+google-site-verification: googlea47c4a0b36d11021.html
\ No newline at end of file
diff --git a/build.xml b/build.xml
index 896933b..7d6209f 100644
--- a/build.xml
+++ b/build.xml
@@ -138,6 +138,7 @@
         <copy file="${web_app_src}/index.html" todir="${web_app}" />
         <copy file="${web_app_src}/favicon.ico" todir="${web_app}" />
         <copy file="${web_app_src}/fileretriever.php" todir="${web_app}" />
+        <copy file="${web_app_src}/googlea47c4a0b36d11021.html" todir="${web_app}" />
         <copy file="${web_app_src}/img/logo.png" todir="${web_app}/img" />
         <copy file="${web_app_src}/img/header_background.png" todir="${web_app}/img" />
         <copy todir="${web_app}/doc">