summaryrefslogtreecommitdiffstats
path: root/utils
diff options
context:
space:
mode:
Diffstat (limited to 'utils')
-rwxr-xr-xutils/docs-build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/docs-build.sh b/utils/docs-build.sh
index 6c863cbc9..e5d6b4a7f 100755
--- 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
}