diff options
Diffstat (limited to 'docs/makefile')
| -rw-r--r-- | docs/makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/makefile b/docs/makefile index e177f6d..496a6e6 100644 --- a/docs/makefile +++ b/docs/makefile @@ -1,5 +1,6 @@ all: plan.pdf all: requirements.pdf +all: research.pdf # include font.mk |