summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 467891d..98b5491 100644
--- a/Makefile
+++ b/Makefile
@@ -30,7 +30,7 @@ TESTFILES_TL = $(filter-out $(TESTFILES_SYS), $(TESTFILES))
# Files grouped by installation location
SCRIPTFILES = $(SCRIPT) $(GLYPHSCRIPT)
RUNFILES = $(UNPACKED) $(OTFL)
-DOCFILES = $(DOC) README NEWS
+DOCFILES = $(DOC) $(DOTPDF) README NEWS
SRCFILES = $(DTX) Makefile
# The following definitions should be equivalent