diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 134a489..b8021fb 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -45,15 +45,15 @@ EXTRA_DIST = sample.conf GNUmakefile togit.scm | |||
45 | .conf.texi: | 45 | .conf.texi: |
46 | sed '/^#/d;s/\([{}@]\)/@\1/g' $< > $@ | 46 | sed '/^#/d;s/\([{}@]\)/@\1/g' $< > $@ |
47 | 47 | ||
48 | AM_MAKEINFOFLAGS = @IMPRIMATUR_MAKEINFOFLAGS@ -I$(top_srcdir)/@GRECS_SUBDIR@/doc | 48 | AM_MAKEINFOFLAGS = @IMPRIMATUR_MAKEINFOFLAGS@ -I $(top_srcdir)/@GRECS_SUBDIR@/doc |
49 | imprimatur_INPUT=$(info_TEXINFOS) $(cfpeek_TEXINFOS) | 49 | imprimatur_INPUT=$(info_TEXINFOS) $(cfpeek_TEXINFOS) |
50 | include ../imprimatur/imprimatur.mk | 50 | include ../imprimatur/imprimatur.mk |
51 | CHECK_DOCS=$(top_srcdir)/@IMPRIMATUR_MODULE_DIR@/check-docs.sh | 51 | CHECK_DOCS=$(top_srcdir)/@IMPRIMATUR_MODULE_DIR@/check-docs.sh |
52 | 52 | ||
53 | GENDOCS=$(srcdir)/gendocs.sh | 53 | GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html '--init-file=$(abs_srcdir)/html.init' |
54 | EXTRA_DIST += gendocs.sh | 54 | EXTRA_DIST += gendocs.sh |
55 | 55 | ||
56 | TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E | 56 | TEXI2DVI=texi2dvi -t '@set $(RENDITION)' |
57 | 57 | ||
58 | # Make sure you set TEXINPUTS. | 58 | # Make sure you set TEXINPUTS. |
59 | # TEXINPUTS=/usr/share/texmf/pdftex/plain/misc/ is ok for most distributions | 59 | # TEXINPUTS=/usr/share/texmf/pdftex/plain/misc/ is ok for most distributions |
@@ -61,8 +61,8 @@ TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E | |||
61 | manual: | 61 | manual: |
62 | TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ | 62 | TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ |
63 | MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ | 63 | MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ |
64 | TEXI2DVI="$(TEXI2DVI) -t @finalout" \ | 64 | TEXI2DVI="$(TEXI2DVI) -E" \ |
65 | $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual' | 65 | $(GENDOCS) $(PACKAGE) '$(PACKAGE_NAME) manual' |
66 | 66 | ||
67 | # Checking | 67 | # Checking |
68 | check-options: | 68 | check-options: |