diff --git a/src/README.org b/src/README.org index 1345293..76e7904 100644 --- a/src/README.org +++ b/src/README.org @@ -2,6 +2,11 @@ #+PROPERTY: comments org #+SETUPFILE: ../docs/theme.setup +#+BEGIN_EXPORT html + + +#+END_EXPORT + ------------------ - [[./tutorial_benzene.html][Tutorial]] diff --git a/tools/build_doc.sh b/tools/build_doc.sh index 1c7f366..bd932e2 100755 --- a/tools/build_doc.sh +++ b/tools/build_doc.sh @@ -123,7 +123,12 @@ function main() { then cd ${DOCS} rm -f index.html - ln README.html index.html + # enter Google verificator into the HTML head + local GOOGLE_VERIF="" + LINE_NO=$(($(awk '/meta name="viewport"/{print NR}' README.html) + 1)) + sed -i "$LINE_NO i ${GOOGLE_VERIF}" README.html + + ln README.html index.html exit 0 else exit 3