diff --git a/TODO.md b/TODO.md index a62e85a..07558de 100644 --- a/TODO.md +++ b/TODO.md @@ -33,6 +33,7 @@ - [ ] Build from GitHub Actions - [ ] Index at the end of document? - [ ] Exercice thing... +- [ ] LaTeX pygments style .. only:: comment diff --git a/conf.py b/conf.py index 4569357..600e130 100644 --- a/conf.py +++ b/conf.py @@ -49,6 +49,8 @@ numfig = True +pygments_style = "colorful" + latex_additional_files = [ '_templates/manual.cls', '_templates/sphinx.sty', @@ -122,7 +124,6 @@ latex_logo = '_artifacts/heig-vd.pdf' - man_pages = [ ('index', 'info', None, author, 1) ]