Merge "docs: hide revision and build date from HTML pages"

diff --git a/utils/docs-build.sh b/utils/docs-build.sh
index 6c863cb..e5d6b4a 100755 (executable)
--- a/utils/docs-build.sh
+++ b/utils/docs-build.sh
@@ -78,7 +78,7 @@ function add_html_notes() {
             echo
             sed -i "s/ _sha1_/ $git_sha1/g" "$file"
         fi
-        sed -i -e "\$a\\\n.. only:: html\n$html_notes" "$file"
+        sed -i -e "\$a\\\n..\n$html_notes" "$file"
     done
 }