		Search-engine friendly clone of the ACL2 documentation.

File-extensions

Conventions to follow for choosing file extensions like .lisp, .lsp, and .acl2 files.

Certifiable books should use the extension .lisp
Certification commands ("portcullis" stuff) should use the extension .acl2
Other Lisp files (package definitions, raw lisp code) should that are not certifiable books should use .lsp

These conventions allow build systems like build::cert.pl to automatically distinguish between what should be certified and what should not.

Once a user is familiar with these conventions, they act as a signal about what files are likely to be of interest.