| commit | 304ec31598895c8c6da7a9fa9b9ba1f7217cced0 | [log] [tgz] |
|---|---|---|
| author | Paul Jakma <paul@jakma.org> | Sun Mar 05 12:39:41 2017 +0000 |
| committer | Paul Jakma <paul@quagga.net> | Sun Mar 05 14:31:34 2017 +0000 |
| tree | 79747b05e0a9323122aa3ec588cd3e91f2d41d39 | |
| parent | 75ebcd86b1abd5db97b91a2cff1df6ba444cca7c [diff] |
distro/redhat: Make texi2html conditional, default off, to avoid TeX deps