diff options
| author |   Ryota MIBU <r-mibu@cq.jp.nec.com> | 2016-02-02 17:08:06 +0900 |
|---|---|---|
| committer | Ryota MIBU <r-mibu@cq.jp.nec.com> | 2016-02-02 17:08:06 +0900 |
| commit | 64fc87f9a71c1763545d745d00e8b86347ad57e8 (patch) | |
| tree | 54bb153365f86e7bed9e3bcbcdddc8e73774c14e /utils | |
| parent | 915590bb6510ebc90656c8433faa75db0f485715 (diff) | |
docs: hide revision and build date from HTML pages
Revisions and build dates are stamped in each source rst files and show
up in each HTML pages (Some pages have multiple stamps...). We can see
document version in URL path of artifact and those build info by
clicking 'Show Source' as well.
Let's remove revisions and build dates from HTML pages, but remain in
source files so that developers can identify sources.
Change-Id: Ibd511137ec17c614c9aa624a7190e7ccfc568b7f
Signed-off-by: Ryota MIBU <r-mibu@cq.jp.nec.com>
Diffstat (limited to 'utils')
| -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 } |