tree 79747b05e0a9323122aa3ec588cd3e91f2d41d39
parent 75ebcd86b1abd5db97b91a2cff1df6ba444cca7c
author Paul Jakma <paul@jakma.org> 1488717581 +0000
committer Paul Jakma <paul@quagga.net> 1488724294 +0000

distro/redhat: Make texi2html conditional, default off, to avoid TeX deps