1all-local: info
2
3info: logic.info logic-index.lisp
4
5logic.info: logic.texi
6	makeinfo --force $<
7
8logic-index.lisp: logic.info
9	perl $(top_srcdir)/doc/info/build_index.pl $< > $@
10
11info_TEXINFOS = logic.texi
12
13AM_MAKEINFOHTMLFLAGS = --no-split
14
15EXTRA_DIST = logic-index.lisp
16