Updated Makefiles and fixed various outdated constructs to make 'make doc' workfiltered
tree87f5dc6da37b6cc34ead6b673e1326a33ca1fbbf
-rw-r--r-- 158 .cvsignore
-rw-r--r-- 1367 .fileheader
drwxr-xr-x - Benchmarks
-rw-r--r-- 23622 ChangeLog
drwxr-xr-x - Examples
-rw-r--r-- 4411 Makefile.in
-rw-r--r-- 3485 Makefile.mak
-rw-r--r-- 1289 README
drwxr-xr-x - Tests
-rw-r--r-- 1465 a_star.pl
-rw-r--r-- 2125 binomialheap.pl
-rw-r--r-- 22228 builtins.pl
-rw-r--r-- 6147 chr_compiler_errors.pl
-rw-r--r-- 13134 chr_compiler_options.pl
-rw-r--r-- 8669 chr_compiler_utility.pl
-rw-r--r-- 2021 chr_debug.pl
-rw-r--r-- 9467 chr_hashtable_store.pl
-rw-r--r-- 3605 chr_integertable_store.pl
-rw-r--r-- 3979 chr_messages.pl
-rw-r--r-- 1922 chr_op.pl
-rw-r--r-- 1917 chr_op2.pl
-rw-r--r-- 26259 chr_runtime.pl
-rw-r--r-- 2214 chr_support.c
-rw-r--r-- 12217 chr_swi.pl
-rw-r--r-- 5873 chr_swi_bootstrap.pl
-rw-r--r-- 4513 chr_test.pl
-rw-r--r-- 377929 chr_translate.chr
-rw-r--r-- 79024 chr_translate_bootstrap.pl
-rw-r--r-- 63513 chr_translate_bootstrap1.chr
-rw-r--r-- 110286 chr_translate_bootstrap2.chr
-rw-r--r-- 5405 clean_code.pl
-rw-r--r-- 1459 configure.in
-rw-r--r-- 2516 find.pl
-rw-r--r-- 33588 guard_entailment.chr
-rw-r--r-- 4615 hprolog.pl
-rwxr-xr-x 4771 install-sh
-rw-r--r-- 2554 listmap.pl
-rw-r--r-- 1965 pairlist.pl