diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/project.am | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/doc/project.am b/doc/project.am index 6f27b375ff..93620b4f94 100644 --- a/doc/project.am +++ b/doc/project.am @@ -1,6 +1,8 @@ ## $Id$ +# HACK: makeinfo is locale sensitive LANG=C + SUFFIXES = .t MAINTAINERCLEANFILES = @@ -9,6 +11,16 @@ MOSTLYCLEANFILES = CLEANFILES += $(PROJECT) $(PROJECT)-[0-9] $(PROJECT)-[0-9][0-9] CLEANFILES += $(GENERATED_FILES) +AM_MAKEINFOFLAGS = -I $(top_builddir) -I $(top_srcdir) +TEXI2DVI = @TEXI2DVI@ -I $(top_builddir) -I $(top_srcdir) +TEXI2PDF = @TEXI2PDF@ -I $(top_builddir) -I $(top_srcdir) + +# Without $(srcdir) in TEXINPUTS, dvips doesn't find the *.eps +# we distribute in $(srcdir) +.dvi.ps: + TEXINPUTS="$(srcdir)${PATH_SEPARATOR}$$TEXINPUTS" \ + $(DVIPS) -o $@ $< + ## DVI support dvidir = $(pkgdocdir)/dvi @@ -60,7 +72,6 @@ if USE_PS ps_DATA = $(PROJECT).ps endif # USE_PS - if USE_PDF pdf_DATA = $(PROJECT).pdf endif |