diff options
Diffstat (limited to 'bare/config/print/texinfo.cfg')
| -rw-r--r-- | bare/config/print/texinfo.cfg | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bare/config/print/texinfo.cfg b/bare/config/print/texinfo.cfg new file mode 100644 index 0000000..5fa0cba --- /dev/null +++ b/bare/config/print/texinfo.cfg @@ -0,0 +1,8 @@ +# +# GNU makeinfo has a version option, check for it. +# If not found build it. +# +%define has_makeinfo %(makeinfo --version > /dev/null 2>&1; echo $?) +%if %{has_makeinfo} != 0 + %include %{_configdir}/print/texinfo-7.0.3.cfg +%endif |