diff options
| author | Claudio Saavedra <csaavedra@igalia.com> | 2022-11-11 14:57:55 +0300 |
|---|---|---|
| committer | Ralph Giles <giles@thaumas.net> | 2023-04-21 01:13:19 +0300 |
| commit | f3de7ca74358eff2aec766b076ded84f463ac606 (patch) | |
| tree | b764d13804820b623e2c437f0f6ba55dac179ed9 | |
| parent | 82ac57d9f1aaf575800cf17373348e45b7ce6c0d (diff) | |
docs: replace fgrep with grep -F
It's been deprecated for decades and in Debian system it's starting
to print warnings. Just use grep -F instead.
Signed-off-by: Ralph Giles <giles@thaumas.net>
| -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} |