runned "make helpdb.jl" in doc/