diff options
Diffstat (limited to 'bare/config/print/texinfo.cfg')
| -rw-r--r-- | bare/config/print/texinfo.cfg | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/bare/config/print/texinfo.cfg b/bare/config/print/texinfo.cfg new file mode 100644 index 0000000..63df197 --- /dev/null +++ b/bare/config/print/texinfo.cfg @@ -0,0 +1,16 @@ +# +# GNU makeinfo has a version option, check for it. +# If not found or not recent build it. +# +%define makeinfo_version 7.0.3 +%define has_makeinfo %(makeinfo --version > /dev/null 2>&1; echo $?) +%if %{has_makeinfo} == 0 + %define makeinfo_version_resident \ + %(makeinfo --version | grep -e "^makeinfo (GNU texinfo)" -e "^texi2any (GNU texinfo)" | rev | sed -r 's/ .*//' | rev) + %if %{makeinfo_version_resident} < %{makeinfo_version} + %define has_makeinfo 1 + %endif +%endif +%if %{has_makeinfo} != 0 + %include %{_configdir}/print/texinfo-7.0.3.cfg +%endif |