Synch doc.lisp