diff --git a/Makefile b/Makefile index 9d5937ec2..d564e1af1 100644 --- a/Makefile +++ b/Makefile @@ -12,7 +12,8 @@ DOC_FILES := \ config.md \ config-linux.md \ runtime-config.md \ - runtime-config-linux.md + runtime-config-linux.md \ + glossary.md docs: pdf html