|
From: Mark W. <ma...@so...> - 2020-05-13 15:59:43
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=9e87b109a0538228261c215d577a859ae8654bdb commit 9e87b109a0538228261c215d577a859ae8654bdb Author: Mark Wielaard <ma...@kl...> Date: Wed May 13 15:27:57 2020 +0200 valgrind-manpage.xml: arg cannot contain a program, use replaceable. Diff: --- docs/xml/valgrind-manpage.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/xml/valgrind-manpage.xml b/docs/xml/valgrind-manpage.xml index 332ca4884c..10decc258a 100644 --- a/docs/xml/valgrind-manpage.xml +++ b/docs/xml/valgrind-manpage.xml @@ -21,7 +21,7 @@ <cmdsynopsis> <command>valgrind</command> <arg><replaceable>valgrind-options</replaceable></arg> - <arg><command>your-program</command></arg> + <arg><replaceable>your-program</replaceable></arg> <arg><replaceable>your-program-options</replaceable></arg> </cmdsynopsis> </refsynopsisdiv> |