diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index b12a990..5082db3 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -12,7 +12,7 @@ html: $(addsuffix .html,$(docs)) ProductBacklog.pdf: SystemModel.png SystemModel.png: stickman.png -DesignDocument.pdf.args = --table-of-contents --number-sections +DesignDocument.pdf.args = --table-of-contents --number-sections -f markdown+definition_lists clean: rm -f -- *.pdf *.html |