Skip to content

Commit

Permalink
Merge pull request #288 from wking/glossary-doc-files
Browse files Browse the repository at this point in the history
Makefile: Add glossary to DOC_FILES
  • Loading branch information
Mrunal Patel committed Jan 4, 2016
2 parents 99ef739 + d7acd86 commit 4060e6c
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 4060e6c

Please sign in to comment.