diff options
Diffstat (limited to 'html/Makefile')
| -rw-r--r-- | html/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/Makefile b/html/Makefile index 9188c4a5..25997e88 100644 --- a/html/Makefile +++ b/html/Makefile @@ -1,4 +1,5 @@ VERBOSE ?= @ +SHELL := bash HTML_TEMPLATE := template.html PANDOC_FLAGS := -f markdown --embed-resources --standalone --template=$(HTML_TEMPLATE) |