Fix ROBODOC docs in procs/drop.sql