diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-12 20:38:51 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-12 20:38:51 +0000 |
commit | 0ffcdabbae452b3172f05b66593c3162a9ff4bb1 (patch) | |
tree | e1b78828a1137a7085ccbeae95a864762eec3eb7 /Makefile | |
parent | 65c8cbdebb30b570352f363168a4f69637fe4f65 (diff) |
Updated.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -34,7 +34,7 @@ ELISP_DIRS=${PROVERS} ${OTHER_ELISP} ELISP_EXTRAS=isar/interface isar/isartags EXTRA_DIRS = images x-symbol -DOC_FILES=AUTHORS BUGS CHANGES COPYING INSTALL README.* REGISTER doc/*.pdf +DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README.* REGISTER doc/*.pdf DOC_EXAMPLES=acl2/*.acl2 hol98/*.sml isar/*.thy lclam/*.lcm lego/*.l pgshell/*.pgsh phox/*.phx plastic/*.lf twelf/*.elf DOC_SUBDIRS=${DOC_EXAMPLES} */README.* */CHANGES */BUGS |