diff options
author | Chris Johns <chris@contemporary.net.au> | 2023-04-11 21:18:25 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2023-04-12 09:34:51 +1000 |
commit | 302d8d46de777b0833b301882daf295918e549ad (patch) | |
tree | f530baf0fea9b19ba403067be9117a97cc44b0de /bare/config/print/texinfo.cfg | |
parent | 024db7d14300cb1650d7368587875e71082e0822 (diff) |
print/texinfo: Add texinfo packagetexinfo-pkg-2texinfo-pkg
- MacOS systems do not come with makeinfo
- Fix the gsed internal build logic. There was config logic in a
bset file that does not support logic operators.
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 |