diff --git a/doc/installation-notes.wml b/doc/installation-notes.wml index 437e8b8f18029fe03fe748646667e25772df030a..e564af26969b8e6a1889fa09005c29e3da55dc12 100644 --- a/doc/installation-notes.wml +++ b/doc/installation-notes.wml @@ -93,7 +93,7 @@ using the <kbd>--only=module_name></kbd> switch. Runnning dunecontrol script <p> <pre> -./dune-common/bin/dunecontrol --module=<module_name> all +./dune-common/bin/dunecontrol --only=<module_name> all </pre> </p> where <module_name> is the name of that particular module given in the