Summary of changes: 7636bee... move demo into devel doc (*) 0935585... build with verbose 3 to debug "Error: junk `el' after expre (*) 38b9e1c... revert back to normal build (*) (*) This commit already existed in another branch; no separate mail sent