Skip to content
Snippets Groups Projects
Commit 89d8ff94 authored by Florent Kirchner's avatar Florent Kirchner Committed by Virgile Prevosto
Browse files

[Doc] Fix output of -mdr-h

parent 2f359973
No related branches found
No related tags found
No related merge requests found
...@@ -24,7 +24,7 @@ module Gen_draft = False( ...@@ -24,7 +24,7 @@ module Gen_draft = False(
let option_name = "-mdr-gen-draft" let option_name = "-mdr-gen-draft"
let help = let help =
"instead of a full report, generates an empty draft \ "instead of a full report, generates an empty draft \
in a format suitable for -mdr-add-remarks" in a format suitable for -mdr-remarks"
end) end)
module Remarks = Empty_string( module Remarks = Empty_string(
...@@ -32,10 +32,10 @@ struct ...@@ -32,10 +32,10 @@ struct
let option_name = "-mdr-remarks" let option_name = "-mdr-remarks"
let arg_name = "f" let arg_name = "f"
let help = let help =
"reads <f> to add additional remarks to various sections of the report. \ "reads file <f> to add additional remarks to various sections of the report. \
must be in a format compatible with the file produced by -mdr-gen-draft. \ Must be in a format compatible with the file produced by -mdr-gen-draft. \
Remarks themselves must be written in pandoc's markdown, although this is \ Remarks themselves must be written in pandoc's markdown, although this is \
not enforced by the plug-in." not enforced by the plug-in"
end end
) )
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment