Skip to content

Commit

Permalink
Use "./mercury_user_guide.info" instead of
Browse files Browse the repository at this point in the history
Estimated hours taken: 0.5

doc/generate_mdb_doc:
	Use "./mercury_user_guide.info" instead of
	mercury_user_guide.info because otherwise info will try to
	use the installed info file instead of the local one.
	(Which isn't very successful if the installed one lacks
	a debugging chapter).
Tyson Dowd committed Nov 2, 1998

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
1 parent 2fd0c76 commit ef19790
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/generate_mdb_doc
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit ef19790

Please sign in to comment.