Commit 136e48c9 authored by Vincent Lefevre's avatar Vincent Lefevre
Browse files

mpfrlint: fixed git usage.

The change done in 52138701 wasn't
working when the latest commit wasn't on "doc/mpfr.texi".
parent 52138701
......@@ -502,7 +502,7 @@ fi
# and UTC0 is the preferred value, but old systems only accept GMT0.
# The "0" is important ("GMT" alone does not work on Tru64 Unix).
#texisvnd=`LC_ALL=C TZ=GMT0 svn info doc/mpfr.texi 2> /dev/null | sed -n 's/Last Changed Date:.*, [0-9]* \([A-Z][a-z][a-z] [0-9][0-9][0-9][0-9]\)).*/\1/p'`
texigitd=`LC_ALL=C TZ=GMT0 git show -s --format=%cd --date=format:"%B %Y" doc/mpfr.texi`
texigitd=`LC_ALL=C TZ=GMT0 git log -1 -s --format=%cd --date=format:"%B %Y" doc/mpfr.texi`
if [[ $? -eq 0 ]] && [[ -n "$texigitd" ]] then
#texidate=`sed -n 's/@set UPDATED-MONTH \([A-Z][a-z][a-z]\).*\( [0-9][0-9][0-9][0-9]\)/\1\2/p' doc/mpfr.texi`
texidate=`sed -n 's/^@set UPDATED-MONTH *//p' doc/mpfr.texi`
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment