1# Makefile.in generated by automake 1.16.1 from Makefile.am.
2# @configure_input@
3
4# Copyright (C) 1994-2018 Free Software Foundation, Inc.
5
6# This Makefile.in is free software; the Free Software Foundation
7# gives unlimited permission to copy and/or distribute it,
8# with or without modifications, as long as this notice is preserved.
9
10# This program is distributed in the hope that it will be useful,
11# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
12# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
13# PARTICULAR PURPOSE.
14
15@SET_MAKE@
16VPATH = @srcdir@
17am__is_gnu_make = { \
18  if test -z '$(MAKELEVEL)'; then \
19    false; \
20  elif test -n '$(MAKE_HOST)'; then \
21    true; \
22  elif test -n '$(MAKE_VERSION)' && test -n '$(CURDIR)'; then \
23    true; \
24  else \
25    false; \
26  fi; \
27}
28am__make_running_with_option = \
29  case $${target_option-} in \
30      ?) ;; \
31      *) echo "am__make_running_with_option: internal error: invalid" \
32              "target option '$${target_option-}' specified" >&2; \
33         exit 1;; \
34  esac; \
35  has_opt=no; \
36  sane_makeflags=$$MAKEFLAGS; \
37  if $(am__is_gnu_make); then \
38    sane_makeflags=$$MFLAGS; \
39  else \
40    case $$MAKEFLAGS in \
41      *\\[\ \	]*) \
42        bs=\\; \
43        sane_makeflags=`printf '%s\n' "$$MAKEFLAGS" \
44          | sed "s/$$bs$$bs[$$bs $$bs	]*//g"`;; \
45    esac; \
46  fi; \
47  skip_next=no; \
48  strip_trailopt () \
49  { \
50    flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
51  }; \
52  for flg in $$sane_makeflags; do \
53    test $$skip_next = yes && { skip_next=no; continue; }; \
54    case $$flg in \
55      *=*|--*) continue;; \
56        -*I) strip_trailopt 'I'; skip_next=yes;; \
57      -*I?*) strip_trailopt 'I';; \
58        -*O) strip_trailopt 'O'; skip_next=yes;; \
59      -*O?*) strip_trailopt 'O';; \
60        -*l) strip_trailopt 'l'; skip_next=yes;; \
61      -*l?*) strip_trailopt 'l';; \
62      -[dEDm]) skip_next=yes;; \
63      -[JT]) skip_next=yes;; \
64    esac; \
65    case $$flg in \
66      *$$target_option*) has_opt=yes; break;; \
67    esac; \
68  done; \
69  test $$has_opt = yes
70am__make_dryrun = (target_option=n; $(am__make_running_with_option))
71am__make_keepgoing = (target_option=k; $(am__make_running_with_option))
72pkgdatadir = $(datadir)/@PACKAGE@
73pkgincludedir = $(includedir)/@PACKAGE@
74pkglibdir = $(libdir)/@PACKAGE@
75pkglibexecdir = $(libexecdir)/@PACKAGE@
76am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
77install_sh_DATA = $(install_sh) -c -m 644
78install_sh_PROGRAM = $(install_sh) -c
79install_sh_SCRIPT = $(install_sh) -c
80INSTALL_HEADER = $(INSTALL_DATA)
81transform = $(program_transform_name)
82NORMAL_INSTALL = :
83PRE_INSTALL = :
84POST_INSTALL = :
85NORMAL_UNINSTALL = :
86PRE_UNINSTALL = :
87POST_UNINSTALL = :
88build_triplet = @build@
89host_triplet = @host@
90subdir = share/logic
91ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
92am__aclocal_m4_deps = $(top_srcdir)/configure.ac
93am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
94	$(ACLOCAL_M4)
95DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON)
96mkinstalldirs = $(install_sh) -d
97CONFIG_CLEAN_FILES =
98CONFIG_CLEAN_VPATH_FILES =
99AM_V_P = $(am__v_P_@AM_V@)
100am__v_P_ = $(am__v_P_@AM_DEFAULT_V@)
101am__v_P_0 = false
102am__v_P_1 = :
103AM_V_GEN = $(am__v_GEN_@AM_V@)
104am__v_GEN_ = $(am__v_GEN_@AM_DEFAULT_V@)
105am__v_GEN_0 = @echo "  GEN     " $@;
106am__v_GEN_1 =
107AM_V_at = $(am__v_at_@AM_V@)
108am__v_at_ = $(am__v_at_@AM_DEFAULT_V@)
109am__v_at_0 = @
110am__v_at_1 =
111SOURCES =
112DIST_SOURCES =
113AM_V_DVIPS = $(am__v_DVIPS_@AM_V@)
114am__v_DVIPS_ = $(am__v_DVIPS_@AM_DEFAULT_V@)
115am__v_DVIPS_0 = @echo "  DVIPS   " $@;
116am__v_DVIPS_1 =
117AM_V_MAKEINFO = $(am__v_MAKEINFO_@AM_V@)
118am__v_MAKEINFO_ = $(am__v_MAKEINFO_@AM_DEFAULT_V@)
119am__v_MAKEINFO_0 = @echo "  MAKEINFO" $@;
120am__v_MAKEINFO_1 =
121AM_V_INFOHTML = $(am__v_INFOHTML_@AM_V@)
122am__v_INFOHTML_ = $(am__v_INFOHTML_@AM_DEFAULT_V@)
123am__v_INFOHTML_0 = @echo "  INFOHTML" $@;
124am__v_INFOHTML_1 =
125AM_V_TEXI2DVI = $(am__v_TEXI2DVI_@AM_V@)
126am__v_TEXI2DVI_ = $(am__v_TEXI2DVI_@AM_DEFAULT_V@)
127am__v_TEXI2DVI_0 = @echo "  TEXI2DVI" $@;
128am__v_TEXI2DVI_1 =
129AM_V_TEXI2PDF = $(am__v_TEXI2PDF_@AM_V@)
130am__v_TEXI2PDF_ = $(am__v_TEXI2PDF_@AM_DEFAULT_V@)
131am__v_TEXI2PDF_0 = @echo "  TEXI2PDF" $@;
132am__v_TEXI2PDF_1 =
133AM_V_texinfo = $(am__v_texinfo_@AM_V@)
134am__v_texinfo_ = $(am__v_texinfo_@AM_DEFAULT_V@)
135am__v_texinfo_0 = -q
136am__v_texinfo_1 =
137AM_V_texidevnull = $(am__v_texidevnull_@AM_V@)
138am__v_texidevnull_ = $(am__v_texidevnull_@AM_DEFAULT_V@)
139am__v_texidevnull_0 = > /dev/null
140am__v_texidevnull_1 =
141INFO_DEPS = $(srcdir)/logic.info
142am__TEXINFO_TEX_DIR = $(srcdir)
143DVIS = logic.dvi
144PDFS = logic.pdf
145PSS = logic.ps
146HTMLS = logic.html
147TEXINFOS = logic.texi
148TEXI2DVI = texi2dvi
149TEXI2PDF = $(TEXI2DVI) --pdf --batch
150MAKEINFOHTML = $(MAKEINFO) --html
151DVIPS = dvips
152am__can_run_installinfo = \
153  case $$AM_UPDATE_INFO_DIR in \
154    n|no|NO) false;; \
155    *) (install-info --version) >/dev/null 2>&1;; \
156  esac
157am__installdirs = "$(DESTDIR)$(infodir)"
158am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
159am__vpath_adj = case $$p in \
160    $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
161    *) f=$$p;; \
162  esac;
163am__strip_dir = f=`echo $$p | sed -e 's|^.*/||'`;
164am__install_max = 40
165am__nobase_strip_setup = \
166  srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'`
167am__nobase_strip = \
168  for p in $$list; do echo "$$p"; done | sed -e "s|$$srcdirstrip/||"
169am__nobase_list = $(am__nobase_strip_setup); \
170  for p in $$list; do echo "$$p $$p"; done | \
171  sed "s| $$srcdirstrip/| |;"' / .*\//!s/ .*/ ./; s,\( .*\)/[^/]*$$,\1,' | \
172  $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
173    if (++n[$$2] == $(am__install_max)) \
174      { print $$2, files[$$2]; n[$$2] = 0; files[$$2] = "" } } \
175    END { for (dir in files) print dir, files[dir] }'
176am__base_list = \
177  sed '$$!N;$$!N;$$!N;$$!N;$$!N;$$!N;$$!N;s/\n/ /g' | \
178  sed '$$!N;$$!N;$$!N;$$!N;s/\n/ /g'
179am__uninstall_files_from_dir = { \
180  test -z "$$files" \
181    || { test ! -d "$$dir" && test ! -f "$$dir" && test ! -r "$$dir"; } \
182    || { echo " ( cd '$$dir' && rm -f" $$files ")"; \
183         $(am__cd) "$$dir" && rm -f $$files; }; \
184  }
185am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP)
186am__DIST_COMMON = $(srcdir)/Makefile.in COPYING TODO texinfo.tex
187DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
188ABCL_JAR = @ABCL_JAR@
189ACLOCAL = @ACLOCAL@
190ACL_NAME = @ACL_NAME@
191AMTAR = @AMTAR@
192AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@
193AUTOCONF = @AUTOCONF@
194AUTOHEADER = @AUTOHEADER@
195AUTOMAKE = @AUTOMAKE@
196AWK = @AWK@
197CAT = @CAT@
198CCL64_NAME = @CCL64_NAME@
199CLISP_NAME = @CLISP_NAME@
200CLISP_RUNTIME = @CLISP_RUNTIME@
201CLISP_RUNTIME_PATH = @CLISP_RUNTIME_PATH@
202CMUCL_EXEC = @CMUCL_EXEC@
203CMUCL_NAME = @CMUCL_NAME@
204CMUCL_RUNTIME = @CMUCL_RUNTIME@
205CMUCL_RUNTIME_PATH = @CMUCL_RUNTIME_PATH@
206CYGPATH_W = @CYGPATH_W@
207DEFAULTLISP = @DEFAULTLISP@
208DEFS = @DEFS@
209DISTCLEAN_EXTRA_SRC_FILES = @DISTCLEAN_EXTRA_SRC_FILES@
210ECHO_C = @ECHO_C@
211ECHO_N = @ECHO_N@
212ECHO_T = @ECHO_T@
213ECL_NAME = @ECL_NAME@
214EGREP = @EGREP@
215EMACS = @EMACS@
216EMACSDIR = @EMACSDIR@
217EMACSLOADPATH = @EMACSLOADPATH@
218EXEEXT = @EXEEXT@
219GCCVER = @GCCVER@
220GCL_NAME = @GCL_NAME@
221GREP = @GREP@
222HHC = @HHC@
223IMGKIT = @IMGKIT@
224INSTALL = @INSTALL@
225INSTALL_DATA = @INSTALL_DATA@
226INSTALL_PROGRAM = @INSTALL_PROGRAM@
227INSTALL_SCRIPT = @INSTALL_SCRIPT@
228INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
229JRE = @JRE@
230LDFLAGS = @LDFLAGS@
231LIBOBJS = @LIBOBJS@
232LIBS = @LIBS@
233LTLIBOBJS = @LTLIBOBJS@
234MAKEINFO = @MAKEINFO@
235MKDIR_P = @MKDIR_P@
236OPENMCL_NAME = @OPENMCL_NAME@
237PACKAGE = @PACKAGE@
238PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
239PACKAGE_NAME = @PACKAGE_NAME@
240PACKAGE_STRING = @PACKAGE_STRING@
241PACKAGE_TARNAME = @PACKAGE_TARNAME@
242PACKAGE_URL = @PACKAGE_URL@
243PACKAGE_VERSION = @PACKAGE_VERSION@
244PATH_SEPARATOR = @PATH_SEPARATOR@
245POSIX_SHELL = @POSIX_SHELL@
246PYTHON = @PYTHON@
247PYTHON_EXEC_PREFIX = @PYTHON_EXEC_PREFIX@
248PYTHON_PLATFORM = @PYTHON_PLATFORM@
249PYTHON_PREFIX = @PYTHON_PREFIX@
250PYTHON_VERSION = @PYTHON_VERSION@
251SBCL_EXTRA_ARGS = @SBCL_EXTRA_ARGS@
252SBCL_NAME = @SBCL_NAME@
253SCL_NAME = @SCL_NAME@
254SCL_RUNTIME = @SCL_RUNTIME@
255SCL_RUNTIME_PATH = @SCL_RUNTIME_PATH@
256SDXKIT = @SDXKIT@
257SED = @SED@
258SET_MAKE = @SET_MAKE@
259SHELL = @SHELL@
260STRIP = @STRIP@
261TCLKITSH = @TCLKITSH@
262TCLKIT_RUNTIME = @TCLKIT_RUNTIME@
263VERSION = @VERSION@
264WISH = @WISH@
265abs_builddir = @abs_builddir@
266abs_srcdir = @abs_srcdir@
267abs_top_builddir = @abs_top_builddir@
268abs_top_srcdir = @abs_top_srcdir@
269acl_found = @acl_found@
270am__leading_dot = @am__leading_dot@
271am__tar = @am__tar@
272am__untar = @am__untar@
273bindir = @bindir@
274build = @build@
275build_alias = @build_alias@
276build_cpu = @build_cpu@
277build_os = @build_os@
278build_vendor = @build_vendor@
279builddir = @builddir@
280ccl64_found = @ccl64_found@
281clisp_found = @clisp_found@
282cmucl_found = @cmucl_found@
283datadir = @datadir@
284datarootdir = @datarootdir@
285default_layout_autotools = @default_layout_autotools@
286default_sharedirs = @default_sharedirs@
287docdir = @docdir@
288dvidir = @dvidir@
289ecl_found = @ecl_found@
290exec_prefix = @exec_prefix@
291expanded_datadir = @expanded_datadir@
292expanded_exec_prefix = @expanded_exec_prefix@
293expanded_infodir = @expanded_infodir@
294expanded_libdir = @expanded_libdir@
295expanded_libexecdir = @expanded_libexecdir@
296expanded_top_srcdir = @expanded_top_srcdir@
297gcl_found = @gcl_found@
298git_found = @git_found@
299hhc_found = @hhc_found@
300host = @host@
301host_alias = @host_alias@
302host_cpu = @host_cpu@
303host_os = @host_os@
304host_vendor = @host_vendor@
305htmldir = @htmldir@
306iconv_found = @iconv_found@
307includedir = @includedir@
308infodir = @infodir@
309install_sh = @install_sh@
310lang_es = @lang_es@
311lang_pt = @lang_pt@
312lang_pt_br = @lang_pt_br@
313libdir = @libdir@
314libexecdir = @libexecdir@
315lisp_only_build = @lisp_only_build@
316lispdir = @lispdir@
317lisps_enabled = @lisps_enabled@
318localedir = @localedir@
319localstatedir = @localstatedir@
320mandir = @mandir@
321manual_version = @manual_version@
322mathjax_enable = @mathjax_enable@
323mathjax_script = @mathjax_script@
324mkdir_p = @mkdir_p@
325oldincludedir = @oldincludedir@
326openmcl_found = @openmcl_found@
327pdfdir = @pdfdir@
328pkgpyexecdir = @pkgpyexecdir@
329pkgpythondir = @pkgpythondir@
330prefix = @prefix@
331program_transform_name = @program_transform_name@
332psdir = @psdir@
333pyexecdir = @pyexecdir@
334pythondir = @pythondir@
335recode_found = @recode_found@
336sbcl_found = @sbcl_found@
337sbindir = @sbindir@
338scl_found = @scl_found@
339sharedstatedir = @sharedstatedir@
340srcdir = @srcdir@
341sysconfdir = @sysconfdir@
342target_alias = @target_alias@
343top_build_prefix = @top_build_prefix@
344top_builddir = @top_builddir@
345top_srcdir = @top_srcdir@
346win32 = @win32@
347win64 = @win64@
348win64_installer = @win64_installer@
349info_TEXINFOS = logic.texi
350AM_MAKEINFOHTMLFLAGS = --no-split
351EXTRA_DIST = logic-index.lisp
352all: all-am
353
354.SUFFIXES:
355.SUFFIXES: .dvi .html .info .pdf .ps .texi
356$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
357	@for dep in $?; do \
358	  case '$(am__configure_deps)' in \
359	    *$$dep*) \
360	      ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
361	        && { if test -f $@; then exit 0; else break; fi; }; \
362	      exit 1;; \
363	  esac; \
364	done; \
365	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu share/logic/Makefile'; \
366	$(am__cd) $(top_srcdir) && \
367	  $(AUTOMAKE) --gnu share/logic/Makefile
368Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
369	@case '$?' in \
370	  *config.status*) \
371	    cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
372	  *) \
373	    echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
374	    cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
375	esac;
376
377$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
378	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
379
380$(top_srcdir)/configure:  $(am__configure_deps)
381	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
382$(ACLOCAL_M4):  $(am__aclocal_m4_deps)
383	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
384$(am__aclocal_m4_deps):
385
386.texi.info:
387	$(AM_V_MAKEINFO)restore=: && backupdir="$(am__leading_dot)am$$$$" && \
388	am__cwd=`pwd` && $(am__cd) $(srcdir) && \
389	rm -rf $$backupdir && mkdir $$backupdir && \
390	if ($(MAKEINFO) --version) >/dev/null 2>&1; then \
391	  for f in $@ $@-[0-9] $@-[0-9][0-9] $(@:.info=).i[0-9] $(@:.info=).i[0-9][0-9]; do \
392	    if test -f $$f; then mv $$f $$backupdir; restore=mv; else :; fi; \
393	  done; \
394	else :; fi && \
395	cd "$$am__cwd"; \
396	if $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) \
397	 -o $@ $<; \
398	then \
399	  rc=0; \
400	  $(am__cd) $(srcdir); \
401	else \
402	  rc=$$?; \
403	  $(am__cd) $(srcdir) && \
404	  $$restore $$backupdir/* `echo "./$@" | sed 's|[^/]*$$||'`; \
405	fi; \
406	rm -rf $$backupdir; exit $$rc
407
408.texi.dvi:
409	$(AM_V_TEXI2DVI)TEXINPUTS="$(am__TEXINFO_TEX_DIR)$(PATH_SEPARATOR)$$TEXINPUTS" \
410	MAKEINFO='$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir)' \
411	$(TEXI2DVI) $(AM_V_texinfo) --build-dir=$(@:.dvi=.t2d) -o $@ $(AM_V_texidevnull) \
412	$<
413
414.texi.pdf:
415	$(AM_V_TEXI2PDF)TEXINPUTS="$(am__TEXINFO_TEX_DIR)$(PATH_SEPARATOR)$$TEXINPUTS" \
416	MAKEINFO='$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir)' \
417	$(TEXI2PDF) $(AM_V_texinfo) --build-dir=$(@:.pdf=.t2p) -o $@ $(AM_V_texidevnull) \
418	$<
419
420.texi.html:
421	$(AM_V_MAKEINFO)rm -rf $(@:.html=.htp)
422	$(AM_V_at)if $(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) \
423	 -o $(@:.html=.htp) $<; \
424	then \
425	  rm -rf $@ && mv $(@:.html=.htp) $@; \
426	else \
427	  rm -rf $(@:.html=.htp); exit 1; \
428	fi
429$(srcdir)/logic.info: logic.texi
430logic.dvi: logic.texi
431logic.pdf: logic.texi
432logic.html: logic.texi
433.dvi.ps:
434	$(AM_V_DVIPS)TEXINPUTS="$(am__TEXINFO_TEX_DIR)$(PATH_SEPARATOR)$$TEXINPUTS" \
435	$(DVIPS) $(AM_V_texinfo) -o $@ $<
436
437uninstall-dvi-am:
438	@$(NORMAL_UNINSTALL)
439	@list='$(DVIS)'; test -n "$(dvidir)" || list=; \
440	for p in $$list; do \
441	  $(am__strip_dir) \
442	  echo " rm -f '$(DESTDIR)$(dvidir)/$$f'"; \
443	  rm -f "$(DESTDIR)$(dvidir)/$$f"; \
444	done
445
446uninstall-html-am:
447	@$(NORMAL_UNINSTALL)
448	@list='$(HTMLS)'; test -n "$(htmldir)" || list=; \
449	for p in $$list; do \
450	  $(am__strip_dir) \
451	  echo " rm -rf '$(DESTDIR)$(htmldir)/$$f'"; \
452	  rm -rf "$(DESTDIR)$(htmldir)/$$f"; \
453	done
454
455uninstall-info-am:
456	@$(PRE_UNINSTALL)
457	@if test -d '$(DESTDIR)$(infodir)' && $(am__can_run_installinfo); then \
458	  list='$(INFO_DEPS)'; \
459	  for file in $$list; do \
460	    relfile=`echo "$$file" | sed 's|^.*/||'`; \
461	    echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
462	    if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
463	    then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \
464	  done; \
465	else :; fi
466	@$(NORMAL_UNINSTALL)
467	@list='$(INFO_DEPS)'; \
468	for file in $$list; do \
469	  relfile=`echo "$$file" | sed 's|^.*/||'`; \
470	  relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
471	  (if test -d "$(DESTDIR)$(infodir)" && cd "$(DESTDIR)$(infodir)"; then \
472	     echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]"; \
473	     rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
474	   else :; fi); \
475	done
476
477uninstall-pdf-am:
478	@$(NORMAL_UNINSTALL)
479	@list='$(PDFS)'; test -n "$(pdfdir)" || list=; \
480	for p in $$list; do \
481	  $(am__strip_dir) \
482	  echo " rm -f '$(DESTDIR)$(pdfdir)/$$f'"; \
483	  rm -f "$(DESTDIR)$(pdfdir)/$$f"; \
484	done
485
486uninstall-ps-am:
487	@$(NORMAL_UNINSTALL)
488	@list='$(PSS)'; test -n "$(psdir)" || list=; \
489	for p in $$list; do \
490	  $(am__strip_dir) \
491	  echo " rm -f '$(DESTDIR)$(psdir)/$$f'"; \
492	  rm -f "$(DESTDIR)$(psdir)/$$f"; \
493	done
494
495dist-info: $(INFO_DEPS)
496	@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
497	list='$(INFO_DEPS)'; \
498	for base in $$list; do \
499	  case $$base in \
500	    $(srcdir)/*) base=`echo "$$base" | sed "s|^$$srcdirstrip/||"`;; \
501	  esac; \
502	  if test -f $$base; then d=.; else d=$(srcdir); fi; \
503	  base_i=`echo "$$base" | sed 's|\.info$$||;s|$$|.i|'`; \
504	  for file in $$d/$$base $$d/$$base-[0-9] $$d/$$base-[0-9][0-9] $$d/$$base_i[0-9] $$d/$$base_i[0-9][0-9]; do \
505	    if test -f $$file; then \
506	      relfile=`expr "$$file" : "$$d/\(.*\)"`; \
507	      test -f "$(distdir)/$$relfile" || \
508		cp -p $$file "$(distdir)/$$relfile"; \
509	    else :; fi; \
510	  done; \
511	done
512
513mostlyclean-aminfo:
514	-rm -rf logic.t2d logic.t2p
515
516clean-aminfo:
517	-test -z "logic.dvi logic.pdf logic.ps logic.html" \
518	|| rm -rf logic.dvi logic.pdf logic.ps logic.html
519
520maintainer-clean-aminfo:
521	@list='$(INFO_DEPS)'; for i in $$list; do \
522	  i_i=`echo "$$i" | sed 's|\.info$$||;s|$$|.i|'`; \
523	  echo " rm -f $$i $$i-[0-9] $$i-[0-9][0-9] $$i_i[0-9] $$i_i[0-9][0-9]"; \
524	  rm -f $$i $$i-[0-9] $$i-[0-9][0-9] $$i_i[0-9] $$i_i[0-9][0-9]; \
525	done
526tags TAGS:
527
528ctags CTAGS:
529
530cscope cscopelist:
531
532
533distdir: $(BUILT_SOURCES)
534	$(MAKE) $(AM_MAKEFLAGS) distdir-am
535
536distdir-am: $(DISTFILES)
537	@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
538	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
539	list='$(DISTFILES)'; \
540	  dist_files=`for file in $$list; do echo $$file; done | \
541	  sed -e "s|^$$srcdirstrip/||;t" \
542	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
543	case $$dist_files in \
544	  */*) $(MKDIR_P) `echo "$$dist_files" | \
545			   sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
546			   sort -u` ;; \
547	esac; \
548	for file in $$dist_files; do \
549	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
550	  if test -d $$d/$$file; then \
551	    dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
552	    if test -d "$(distdir)/$$file"; then \
553	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
554	    fi; \
555	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
556	      cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
557	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
558	    fi; \
559	    cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
560	  else \
561	    test -f "$(distdir)/$$file" \
562	    || cp -p $$d/$$file "$(distdir)/$$file" \
563	    || exit 1; \
564	  fi; \
565	done
566	$(MAKE) $(AM_MAKEFLAGS) \
567	  top_distdir="$(top_distdir)" distdir="$(distdir)" \
568	  dist-info
569check-am: all-am
570check: check-am
571all-am: Makefile $(INFO_DEPS) all-local
572installdirs:
573	for dir in "$(DESTDIR)$(infodir)"; do \
574	  test -z "$$dir" || $(MKDIR_P) "$$dir"; \
575	done
576install: install-am
577install-exec: install-exec-am
578install-data: install-data-am
579uninstall: uninstall-am
580
581install-am: all-am
582	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
583
584installcheck: installcheck-am
585install-strip:
586	if test -z '$(STRIP)'; then \
587	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
588	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
589	      install; \
590	else \
591	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
592	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
593	    "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \
594	fi
595mostlyclean-generic:
596
597clean-generic:
598
599distclean-generic:
600	-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
601	-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
602
603maintainer-clean-generic:
604	@echo "This command is intended for maintainers to use"
605	@echo "it deletes files that may require special tools to rebuild."
606clean: clean-am
607
608clean-am: clean-aminfo clean-generic mostlyclean-am
609
610distclean: distclean-am
611	-rm -f Makefile
612distclean-am: clean-am distclean-generic
613
614dvi: dvi-am
615
616dvi-am: $(DVIS)
617
618html: html-am
619
620html-am: $(HTMLS)
621
622info-am: $(INFO_DEPS)
623
624install-data-am: install-info-am
625
626install-dvi: install-dvi-am
627
628install-dvi-am: $(DVIS)
629	@$(NORMAL_INSTALL)
630	@list='$(DVIS)'; test -n "$(dvidir)" || list=; \
631	if test -n "$$list"; then \
632	  echo " $(MKDIR_P) '$(DESTDIR)$(dvidir)'"; \
633	  $(MKDIR_P) "$(DESTDIR)$(dvidir)" || exit 1; \
634	fi; \
635	for p in $$list; do \
636	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
637	  echo "$$d$$p"; \
638	done | $(am__base_list) | \
639	while read files; do \
640	  echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(dvidir)'"; \
641	  $(INSTALL_DATA) $$files "$(DESTDIR)$(dvidir)" || exit $$?; \
642	done
643install-exec-am:
644
645install-html: install-html-am
646
647install-html-am: $(HTMLS)
648	@$(NORMAL_INSTALL)
649	@list='$(HTMLS)'; list2=; test -n "$(htmldir)" || list=; \
650	if test -n "$$list"; then \
651	  echo " $(MKDIR_P) '$(DESTDIR)$(htmldir)'"; \
652	  $(MKDIR_P) "$(DESTDIR)$(htmldir)" || exit 1; \
653	fi; \
654	for p in $$list; do \
655	  if test -f "$$p" || test -d "$$p"; then d=; else d="$(srcdir)/"; fi; \
656	  $(am__strip_dir) \
657	  d2=$$d$$p; \
658	  if test -d "$$d2"; then \
659	    echo " $(MKDIR_P) '$(DESTDIR)$(htmldir)/$$f'"; \
660	    $(MKDIR_P) "$(DESTDIR)$(htmldir)/$$f" || exit 1; \
661	    echo " $(INSTALL_DATA) '$$d2'/* '$(DESTDIR)$(htmldir)/$$f'"; \
662	    $(INSTALL_DATA) "$$d2"/* "$(DESTDIR)$(htmldir)/$$f" || exit $$?; \
663	  else \
664	    list2="$$list2 $$d2"; \
665	  fi; \
666	done; \
667	test -z "$$list2" || { echo "$$list2" | $(am__base_list) | \
668	while read files; do \
669	  echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(htmldir)'"; \
670	  $(INSTALL_DATA) $$files "$(DESTDIR)$(htmldir)" || exit $$?; \
671	done; }
672install-info: install-info-am
673
674install-info-am: $(INFO_DEPS)
675	@$(NORMAL_INSTALL)
676	@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
677	list='$(INFO_DEPS)'; test -n "$(infodir)" || list=; \
678	if test -n "$$list"; then \
679	  echo " $(MKDIR_P) '$(DESTDIR)$(infodir)'"; \
680	  $(MKDIR_P) "$(DESTDIR)$(infodir)" || exit 1; \
681	fi; \
682	for file in $$list; do \
683	  case $$file in \
684	    $(srcdir)/*) file=`echo "$$file" | sed "s|^$$srcdirstrip/||"`;; \
685	  esac; \
686	  if test -f $$file; then d=.; else d=$(srcdir); fi; \
687	  file_i=`echo "$$file" | sed 's|\.info$$||;s|$$|.i|'`; \
688	  for ifile in $$d/$$file $$d/$$file-[0-9] $$d/$$file-[0-9][0-9] \
689	               $$d/$$file_i[0-9] $$d/$$file_i[0-9][0-9] ; do \
690	    if test -f $$ifile; then \
691	      echo "$$ifile"; \
692	    else : ; fi; \
693	  done; \
694	done | $(am__base_list) | \
695	while read files; do \
696	  echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(infodir)'"; \
697	  $(INSTALL_DATA) $$files "$(DESTDIR)$(infodir)" || exit $$?; done
698	@$(POST_INSTALL)
699	@if $(am__can_run_installinfo); then \
700	  list='$(INFO_DEPS)'; test -n "$(infodir)" || list=; \
701	  for file in $$list; do \
702	    relfile=`echo "$$file" | sed 's|^.*/||'`; \
703	    echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
704	    install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\
705	  done; \
706	else : ; fi
707install-man:
708
709install-pdf: install-pdf-am
710
711install-pdf-am: $(PDFS)
712	@$(NORMAL_INSTALL)
713	@list='$(PDFS)'; test -n "$(pdfdir)" || list=; \
714	if test -n "$$list"; then \
715	  echo " $(MKDIR_P) '$(DESTDIR)$(pdfdir)'"; \
716	  $(MKDIR_P) "$(DESTDIR)$(pdfdir)" || exit 1; \
717	fi; \
718	for p in $$list; do \
719	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
720	  echo "$$d$$p"; \
721	done | $(am__base_list) | \
722	while read files; do \
723	  echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(pdfdir)'"; \
724	  $(INSTALL_DATA) $$files "$(DESTDIR)$(pdfdir)" || exit $$?; done
725install-ps: install-ps-am
726
727install-ps-am: $(PSS)
728	@$(NORMAL_INSTALL)
729	@list='$(PSS)'; test -n "$(psdir)" || list=; \
730	if test -n "$$list"; then \
731	  echo " $(MKDIR_P) '$(DESTDIR)$(psdir)'"; \
732	  $(MKDIR_P) "$(DESTDIR)$(psdir)" || exit 1; \
733	fi; \
734	for p in $$list; do \
735	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
736	  echo "$$d$$p"; \
737	done | $(am__base_list) | \
738	while read files; do \
739	  echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(psdir)'"; \
740	  $(INSTALL_DATA) $$files "$(DESTDIR)$(psdir)" || exit $$?; done
741installcheck-am:
742
743maintainer-clean: maintainer-clean-am
744	-rm -f Makefile
745maintainer-clean-am: distclean-am maintainer-clean-aminfo \
746	maintainer-clean-generic
747
748mostlyclean: mostlyclean-am
749
750mostlyclean-am: mostlyclean-aminfo mostlyclean-generic
751
752pdf: pdf-am
753
754pdf-am: $(PDFS)
755
756ps: ps-am
757
758ps-am: $(PSS)
759
760uninstall-am: uninstall-dvi-am uninstall-html-am uninstall-info-am \
761	uninstall-pdf-am uninstall-ps-am
762
763.MAKE: install-am install-strip
764
765.PHONY: all all-am all-local check check-am clean clean-aminfo \
766	clean-generic cscopelist-am ctags-am dist-info distclean \
767	distclean-generic distdir dvi dvi-am html html-am info info-am \
768	install install-am install-data install-data-am install-dvi \
769	install-dvi-am install-exec install-exec-am install-html \
770	install-html-am install-info install-info-am install-man \
771	install-pdf install-pdf-am install-ps install-ps-am \
772	install-strip installcheck installcheck-am installdirs \
773	maintainer-clean maintainer-clean-aminfo \
774	maintainer-clean-generic mostlyclean mostlyclean-aminfo \
775	mostlyclean-generic pdf pdf-am ps ps-am tags-am uninstall \
776	uninstall-am uninstall-dvi-am uninstall-html-am \
777	uninstall-info-am uninstall-pdf-am uninstall-ps-am
778
779.PRECIOUS: Makefile
780
781all-local: info
782
783info: logic.info logic-index.lisp
784
785logic.info: logic.texi
786	makeinfo --force $<
787
788logic-index.lisp: logic.info
789	perl $(top_srcdir)/doc/info/build_index.pl $< > $@
790
791# Tell versions [3.59,3.63) of GNU make to not export all variables.
792# Otherwise a system limit (for SysV at least) may be exceeded.
793.NOEXPORT:
794