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}