texi2html
Convert Texinfo files to HTML
RUN apt-get update && \
apt-get install -y texi2html
RUN apt-get update && \
apt-get install -y texi2html
RUN pacman -S --noconfirm texi2html
RUN apt-get update && \
apt-get install -y texi2html
RUN yum install -y texi2html
RUN dnf install -y texi2html
RUN apt-get update && \
apt-get install -y texi2html