freemanuals.texi\
genfile.texi\
getdate.texi\
- intern.texi\
header.texi\
+ intern.texi\
rendition.texi\
snapshot.texi\
+ sparse.texi\
value.texi
EXTRA_DIST = gendocs_template mastermenu.el texify.sed
DISTCLEANFILES=*.info*
# Usual value is:
# /usr/share/texmf/pdftex/plain/misc:/usr/share/texmf/pdftex/config
manual:
- TEXINPUTS=$(srcdir):$(top_srcdir)/config:$(TEXINPUTS) \
+ TEXINPUTS=$(srcdir):$(top_srcdir)/build-tex:$(TEXINPUTS) \
MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \
TEXI2DVI="$(TEXI2DVI) -t @finalout" \
$(GENDOCS) tar 'GNU tar manual'