Skip to content
Snippets Groups Projects
Commit 4cc9fb37 authored by Ralf Mueller's avatar Ralf Mueller :fishing_pole_and_fish:
Browse files

only create pdf docu for now

parent c0e1108c
No related branches found
No related tags found
No related merge requests found
Pipeline #25842 running
check-develop-release:
script:
- git checkout -B develop-release
- cd doc/tex && ./makehtml
tags:
- latex
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment