Code Review
/
releng.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
review
|
tree
raw
| inline |
side by side
docs: hide revision and build date from HTML pages
[releng.git]
/
utils
/
docs-build.sh
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
}