diff options
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 44e995774..6e0bc1549 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -59,6 +59,8 @@ gnupg_TEXINFOS = \ sysnotes.texi gnupg-card-architecture.fig dirmngr.texi \ howtos.texi howto-create-a-server-cert.texi +gnupg.texi : defs.inc + DVIPS = TEXINPUTS="$(srcdir)$(PATH_SEPARATOR)$$TEXINPUTS" dvips AM_MAKEINFOFLAGS = -I $(srcdir) --css-ref=/share/site.css |