Path: blob/main/scripts/groups/Make-images/Readme
1136 views
Process for making png images of group names for subgroup diagrams: - run dump-group-names.py It produces eqguts.tex which has the latex and prettyindex to be uploaded to the db - move eqguts.tex to the images directory - in the images directory run latex eq.tex - in the images directory run dvipng -bg Transparent eq.dvi - run load-img.py from this directory