mirror of
git://git.gnu.org.ua/imprimatur.git
synced 2025-04-26 16:49:53 +03:00
Makefile.am: improve the `manual' rule.
This commit is contained in:
parent
0c6c4140a9
commit
3e80764bc2
1 changed files with 2 additions and 1 deletions
|
@ -69,7 +69,8 @@ manual:
|
||||||
TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \
|
TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \
|
||||||
MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS) $(AM_MAKEINFOFLAGS)" \
|
MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS) $(AM_MAKEINFOFLAGS)" \
|
||||||
TEXI2DVI="$(TEXI2DVI)" \
|
TEXI2DVI="$(TEXI2DVI)" \
|
||||||
TEXI2HTML="texi2html $(AM_MAKEINFOFLAGS)" \
|
TEXI2HTML="$(TEXI2HTML)" \
|
||||||
|
GENDOCS_TEMPLATE_DIR="$(GENDOCS_TEMPLATE_DIR)" \
|
||||||
$(GENDOCS) --texi2html imprimatur 'Imprimatur manual'
|
$(GENDOCS) --texi2html imprimatur 'Imprimatur manual'
|
||||||
|
|
||||||
manual.tar.bz2: manual
|
manual.tar.bz2: manual
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue