Anderes Plugin ausprobieren für PDFs

This commit is contained in:
Dennis Heinrich 2024-04-05 08:27:18 +02:00
parent cd98c37fcb
commit 10ae9759a6
2 changed files with 2 additions and 6 deletions

View file

@ -13,11 +13,7 @@ theme:
plugins:
- search
- pdf-export:
- verbose: true
- media_type: print
- combined: true
- combined_output_path: docs/index.pdf
- mkpdfs
extra:
generator: false

View file

@ -1 +1 @@
mkdocs-pdf-export-plugin
mkpdfs-mkdocs