diff options
-rwxr-xr-x | utils/docs-build.sh | 2 |
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 } |