makedoc is now obsolete