diff options
| author |   Ryota MIBU <r-mibu@cq.jp.nec.com> | 2016-02-02 15:25:43 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-02-02 15:25:44 +0000 |
| commit | 2d456352aebbc078998c68ab95301494eedcae90 (patch) | |
| tree | 46b7fda15d94579ed7e9f78240fd567e92d98e93 | |
| parent | 23660b8efd3eb8451a2d76b037bb9ab46d48af18 (diff) | |
| parent | 64fc87f9a71c1763545d745d00e8b86347ad57e8 (diff) | |
Merge "docs: hide revision and build date from HTML pages"
| -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 } |