diff options
| -rw-r--r-- | doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index e0d13bb44..2bda03c6f 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -7,7 +7,8 @@ release: @echo "* Do not forget to add a link to the release notes in guide.tex" @echo "* Do not forget to update the version number in src/ejabberd.hrl!" @echo "* Do not forget to update the features in introduction.tex (including \new{} and \improved{} tags)." - @read -p "press any key to continue" + @echo "Press any key to continue" + @read foo @echo "% ejabberd version (automatically generated)." > version.tex @echo "\\\newcommand{\\\version}{"`cat ../src/ejabberd.hrl | grep VERSION | sed s/-define\(VERSION,\ \"//g | sed s/\"\).//g`"}" >> version.tex |