projects
/
git-tools-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0de2dcf
)
simplify shell header
author
Wolfram Schneider
<wosch@indexdata.dk>
Tue, 11 Aug 2015 13:16:06 +0000
(13:16 +0000)
committer
Wolfram Schneider
<wosch@indexdata.dk>
Tue, 11 Aug 2015 13:16:06 +0000
(13:16 +0000)
id-release
patch
|
blob
|
history
diff --git
a/id-release
b/id-release
index
d0aa273
..
02d1d80
100755
(executable)
--- a/
id-release
+++ b/
id-release
@@
-22,10
+22,15
@@
case $1 in
* ) usage ;;
esac
-echo "#!/bin/sh"
-echo "# See also https://twiki.indexdata.com/twiki/bin/view/ID/AdamsReleaseProcedure"
-echo "set -e"
-echo ""
+cat <<EOF
+#!/bin/sh
+#
+# See also https://twiki.indexdata.com/twiki/bin/view/ID/AdamsReleaseProcedure
+#
+
+set -e
+
+EOF
echo "# Did you updated the news log file?"
for file in Changes News NEWS