diff options
Diffstat (limited to 'resources/tools')
| -rw-r--r-- | resources/tools/presentation/specification.yaml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/resources/tools/presentation/specification.yaml b/resources/tools/presentation/specification.yaml index c932408c32..3f21be6919 100644 --- a/resources/tools/presentation/specification.yaml +++ b/resources/tools/presentation/specification.yaml @@ -2345,9 +2345,8 @@ format: html: - full -# TODO: Enable for release runs: -# pdf: -# - minimal + pdf: + - minimal ################################################################################ ### T A B L E S ### |