mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-21 22:34:05 +00:00
Bump required pandoc version to 1.9.
Earlier versions of pandoc don't have the default.html5 and thus, building the docs fail. Signed-off-by: Noufal Ibrahim <noufal@nibrahim.net.in>
This commit is contained in:
parent
1bbd4afb4a
commit
60cb1fb4d1
6
configure
vendored
6
configure
vendored
@ -468,12 +468,14 @@ then
|
||||
# extract the first 2 version fields, ignore everything else
|
||||
sed 's/pandoc \([0-9]*\)\.\([0-9]*\).*/\1 \2/')
|
||||
|
||||
MIN_PV_MAJOR="1"
|
||||
MIN_PV_MINOR="9"
|
||||
# these patterns are shell globs, *not* regexps
|
||||
PV_MAJOR=${PV_MAJOR_MINOR% *}
|
||||
PV_MINOR=${PV_MAJOR_MINOR#* }
|
||||
if [ "$PV_MAJOR" -lt "1" ] || [ "$PV_MINOR" -lt "8" ]
|
||||
if [ "$PV_MAJOR" -lt "$MIN_PV_MAJOR" ] || [ "$PV_MINOR" -lt "$MIN_PV_MINOR" ]
|
||||
then
|
||||
step_msg "pandoc $PV_MAJOR.$PV_MINOR is too old. disabling"
|
||||
step_msg "pandoc $PV_MAJOR.$PV_MINOR is too old. Need at least $MIN_PV_MAJOR.$MIN_PV_MINOR. Disabling"
|
||||
BAD_PANDOC=1
|
||||
fi
|
||||
fi
|
||||
|
Loading…
Reference in New Issue
Block a user