From 8fb201ef5ae08f33efd2b8264617f28118cea4bc Mon Sep 17 00:00:00 2001 From: James Swent Date: Thu, 20 Nov 2025 14:17:31 +0000 Subject: [PATCH] doc: add to-table generation to make-doc.sh --- docs/pictures/to-table.tex | 2 +- etc/make-doc.sh | 17 +++++++++++++++++ 2 files changed, 18 insertions(+), 1 deletion(-) diff --git a/docs/pictures/to-table.tex b/docs/pictures/to-table.tex index 554ad42be..b4e2aa03e 100644 --- a/docs/pictures/to-table.tex +++ b/docs/pictures/to-table.tex @@ -1,4 +1,4 @@ -\documentclass[png]{standalone} +\documentclass{standalone} \usepackage{booktabs} % For professional tables \usepackage{pifont} % For check and cross symbols \usepackage{graphicx} % For rotating text diff --git a/etc/make-doc.sh b/etc/make-doc.sh index 187e2ce18..635db2782 100755 --- a/etc/make-doc.sh +++ b/etc/make-doc.sh @@ -7,6 +7,23 @@ else PYTHON="python3" fi +echo "Checking whether to build the to-table . . ." +if command -v pdflatex && command -v inkscape 2>&1 >/dev/null; then + cd docs/pictures + echo "Building to-table . . ." + pdflatex to-table.tex + inkscape --pdf-poppler --export-type="svg" -o to-table.svg to-table.pdf + if [ $? -eq 0 ]; then + echo Successfully created to-table.svg + else + echo Warning: there was an issue with inkscape when creating to-table.svg + echo Please check the state of to-table.svg + fi + cd ../.. +else + echo "Not building to-table" +fi + $PYTHON etc/check-docstring-indentation.py cd docs/