From d1da1664f0865133b82ff94baf7af5b60c9946cd Mon Sep 17 00:00:00 2001 From: Luca Colagrande Date: Fri, 9 Aug 2024 15:17:36 +0200 Subject: [PATCH] Docs: Fix typos in `:vlopt:` command usage in docs (#5355) (#5356) --- docs/CONTRIBUTORS | 1 + docs/guide/verilating.rst | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS index 93c22b1b6..f99913771 100644 --- a/docs/CONTRIBUTORS +++ b/docs/CONTRIBUTORS @@ -123,6 +123,7 @@ Krzysztof Obłonczek Kuba Ober Larry Doolittle Liam Braun +Luca Colagrande Ludwig Rogiers Lukasz Dalek Maarten De Braekeleer diff --git a/docs/guide/verilating.rst b/docs/guide/verilating.rst index 00346eb98..5abc3a0aa 100644 --- a/docs/guide/verilating.rst +++ b/docs/guide/verilating.rst @@ -304,9 +304,9 @@ GNU Make ======== Verilator defaults to creating GNU Make makefiles for the model. Verilator -will call make automatically when the :vlopt:'--build' option is used. +will call make automatically when the :vlopt:`--build` option is used. -If calling Verilator from a makefile, the :vlopt:'-MMD' option will create +If calling Verilator from a makefile, the :vlopt:`--MMD` option will create a dependency file, allowing Make to only run Verilator if input Verilog files change.