[docs] removed google ID experiment

2025-04-24 14:17:51 -04:00 · 2021-10-01 16:08:29 +02:00 · 2021-10-01 16:08:29 +02:00 · db07b3d2ed
commit db07b3d2ed
parent bdfebeaeed
2 changed files with 0 additions and 2 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
@ -20,7 +20,6 @@ html:
 	  -r asciidoctor-diagram \
 	  datasheet/index.adoc \
 	  --out-file public/index.html
-	cp meta/*.html public

 # Generate PDF user guide
 ug-pdf:
--- a/docs/meta/google8439587794a56e35.html
+++ b/docs/meta/google8439587794a56e35.html
@ -1 +0,0 @@
-google-site-verification: google8439587794a56e35.html
				`@ -1 +0,0 @@`
				`google-site-verification: google8439587794a56e35.html`