mkcamlp5

Tue Nov 20 04:30:54 CET 2007

Added paragraph about new commands mkcamlp5 and mkcamlp5.opt.