Synched doc.lisp; tweaked GNUmakefile for making doc.