2 ms·
With Docker: mkdir -p out.d ; chmod 1777 out.d docker run --rm -it -v "$(pwd)/out.d:/out.d" \ debian:latest \ sh -c " apt update && apt ins
by 0xbadcafebee 4y ago
With Docker:
mkdir -p out.d ; chmod 1777 out.d
docker run --rm -it -v "$(pwd)/out.d:/out.d" \
debian:latest \
sh -c "
apt update && apt install --no-install-recommends -y \
texlive-latex-extra \
texlive-base \
ghostscript \
texinfo \
git \
ca-certificates \
&& git clone --depth 1 https://git.savannah.gnu.org/git/c-intro-and-ref.git \
&& cd c-intro-and-ref \
&& make c.pdf \
&& makeinfo --html -v c.texi -o /out.d/c.html --no-split
"