diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile index ccba09a6ad..1998756df7 100644 --- a/Makefile +++ b/Makefile @@ -377,8 +377,8 @@ dist: dist-prepare fi endif -INSTALL: manual/install.texi manual/macros.texi \ - $(common-objpfx)manual/pkgvers.texi +INSTALL: manual/install-plain.texi manual/macros.texi \ + $(common-objpfx)manual/pkgvers.texi manual/install.texi makeinfo --no-validate --plaintext --no-number-sections \ -I$(common-objpfx)manual $< -o $@-tmp $(AWK) 'NF == 0 { ++n; next } \ |