diff options
-rwxr-xr-x | doc/build_isobmff.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/build_isobmff.sh b/doc/build_isobmff.sh index 95ea202e..676ca4e0 100755 --- a/doc/build_isobmff.sh +++ b/doc/build_isobmff.sh @@ -46,5 +46,5 @@ cat ${HTML} | sed -e 's/ *$//g' > ${HTML}+ && mv ${HTML}+ ${HTML} cat ${CSS} | sed -e 's/ *$//g' > ${CSS}+ && mv ${CSS}+ ${CSS} -VERSION=$(fgrep Version ${HTML} | sed 's/.*Version \([0-9]\.[0-9]\.[0-9]\).*/\1/') +VERSION=$(grep -F Version ${HTML} | sed 's/.*Version \([0-9]\.[0-9]\.[0-9]\).*/\1/') echo Now at version ${VERSION} |