diff --git a/doc/generate_mdb_doc b/doc/generate_mdb_doc index d53d89d822..a02c8385c6 100755 --- a/doc/generate_mdb_doc +++ b/doc/generate_mdb_doc @@ -11,12 +11,12 @@ cat mdb_categories > mdb_doc tmp="mdb_doc_tmp.$$" trap '/bin/rm -f $tmp' 0 1 2 3 15 -info -f mercury_user_guide.info -o $tmp -n "Mercury debugger concepts" +info -f ./mercury_user_guide.info -o $tmp -n "Mercury debugger concepts" ../util/info_to_mdb concepts $tmp >> mdb_doc debug_cmd_path="debug debugger" for section in forward backward browsing breakpoint parameter help exp developer misc do - info -f mercury_user_guide.info -o $tmp $debug_cmd_path $section + info -f ./mercury_user_guide.info -o $tmp $debug_cmd_path $section ../util/info_to_mdb $section $tmp >> mdb_doc done