diff options
Diffstat (limited to 'bare/config/print')
-rw-r--r-- | bare/config/print/texinfo-7.0.3.cfg | 12 | ||||
-rw-r--r-- | bare/config/print/texinfo-internal.bset | 11 | ||||
-rw-r--r-- | bare/config/print/texinfo.bset | 4 | ||||
-rw-r--r-- | bare/config/print/texinfo.cfg | 8 |
4 files changed, 35 insertions, 0 deletions
diff --git a/bare/config/print/texinfo-7.0.3.cfg b/bare/config/print/texinfo-7.0.3.cfg new file mode 100644 index 0000000..f8e67be --- /dev/null +++ b/bare/config/print/texinfo-7.0.3.cfg @@ -0,0 +1,12 @@ +# +# GNU texinfo 7.0.3 +# + +%include %{_configdir}/base.cfg + +%define texinfo_version 7.0.3 + +%hash sha512 texinfo-%{texinfo_version}.tar.gz \ + uJXP+WVCInQgPxcWNogeOx5VfrmruXIwd6OnnpTgrcXW12Icuqe+R9PF1l/8k/uybwfb+0MMdFoYbq7iiIQGSA== + +%include %{_configdir}/texinfo-1.cfg diff --git a/bare/config/print/texinfo-internal.bset b/bare/config/print/texinfo-internal.bset new file mode 100644 index 0000000..8fa5544 --- /dev/null +++ b/bare/config/print/texinfo-internal.bset @@ -0,0 +1,11 @@ +# +# Internal GNU texinfo +# + +%define _internal_texinfo yes +%define _disable_collecting yes +%define _disable_packaging yes +%define _disable_reporting yes +%define _disable_installing yes + +%include print/texinfo.bset diff --git a/bare/config/print/texinfo.bset b/bare/config/print/texinfo.bset new file mode 100644 index 0000000..347c48d --- /dev/null +++ b/bare/config/print/texinfo.bset @@ -0,0 +1,4 @@ +# +# GNU texinfo +# +print/texinfo.cfg 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 |