Improvements in LaTeX export and user documentation#765

Merged

jacebrowning merged 6 commits into

doorstop-dev:developfrom

May 8, 2026

Commits on May 7, 2026

added fixes for issue #763

Felix Eckstein (Ext.)
authored and
Felix Eckstein (Ext.)
committed
- updated incorrect links

Felix Eckstein (Ext.)
authored and
Felix Eckstein (Ext.)
committed
applied make check formatting

Felix Eckstein (Ext.)
authored and
Felix Eckstein (Ext.)
committed
reverted settings.json

Felix Eckstein (Ext.)
authored and
Felix Eckstein (Ext.)
committed

Commits on May 8, 2026

integrated LaTeX Setup into setup.md

Felix Eckstein (Ext.)
authored and
Felix Eckstein (Ext.)
committed
updated Makefile to consider changes in deeper folders of the docs folder

Felix Eckstein (Ext.)
authored and
Felix Eckstein (Ext.)
committed