fix some borken links in doc

diff --git a/docs/source/scenar_config.rst b/docs/source/scenar_config.rst
index 69ff7da..e12daa2 100644 (file)
--- a/docs/source/scenar_config.rst
+++ b/docs/source/scenar_config.rst
@@ -118,7 +118,7 @@ Existing Configuration Items
 - **model-check/visited:** :ref:`cfg=model-check/visited`
 
 - **network/bandwidth-factor:** :ref:`cfg=network/bandwidth-factor`
 - **model-check/visited:** :ref:`cfg=model-check/visited`
 
 - **network/bandwidth-factor:** :ref:`cfg=network/bandwidth-factor`

-- **network/crosstraffic:** :ref:`cfg=opt_network/crosstraffic`
+- **network/crosstraffic:** :ref:`cfg=network/crosstraffic`

 - **network/latency-factor:** :ref:`cfg=network/latency-factor`
 - **network/maxmin-selective-update:** :ref:`Network Optimization Level <options_model_optim>`
 - **network/model:** :ref:`options_model_select`
 - **network/latency-factor:** :ref:`cfg=network/latency-factor`
 - **network/maxmin-selective-update:** :ref:`Network Optimization Level <options_model_optim>`
 - **network/model:** :ref:`options_model_select`


@@ -381,7 +381,7 @@ thesis
          options network/bandwidth-factor, network/latency-factor,
          network/weight-S.
 
          options network/bandwidth-factor, network/latency-factor,
          network/weight-S.
 

-.. _opt_network/crosstraffic:
+.. _cfg=network/crosstraffic:

 
 Simulating Cross-Traffic
 ^^^^^^^^^^^^^^^^^^^^^^^^
 
 Simulating Cross-Traffic
 ^^^^^^^^^^^^^^^^^^^^^^^^


@@ -661,13 +661,13 @@ really meaningful: you should expect the contribution of the memory
 consumption of the snapshots to be @f$ @mbox{number of processes}
 @times @mbox{stack size} @times @mbox{number of states} @f$.
 
 consumption of the snapshots to be @f$ @mbox{number of processes}
 @times @mbox{stack size} @times @mbox{number of states} @f$.
 

-The @b model-check/sparse-checkpoint can be used to reduce the memory
+The ``model-check/sparse-checkpoint`` can be used to reduce the memory

 consumption by trying to share memory between the different snapshots.
 
 When compiled against the model checker, the stacks are not
 protected with guards: if the stack size is too small for your
 application, the stack will silently overflow on other parts of the
 consumption by trying to share memory between the different snapshots.
 
 When compiled against the model checker, the stacks are not
 protected with guards: if the stack size is too small for your
 application, the stack will silently overflow on other parts of the

-memory (see @ref options_virt_guard_size).
+memory (see :ref:`contexts/guard-size <cfg=contexts/guard-size>`).

 
 .. _cfg=model-checker/hash:
 
 
 .. _cfg=model-checker/hash:
 


@@ -811,17 +811,17 @@ stack which are actually used and you might not need to use this in
 most cases. However, this setting is very important when using the
 model checker (see :ref:`options_mc_perf`).
 
 most cases. However, this setting is very important when using the
 model checker (see :ref:`options_mc_perf`).
 

-.. _cfg=contexts:guard-size:
+.. _cfg=contexts/guard-size:

 
 Disabling Stack Guard Pages
 ...........................
 
 
 Disabling Stack Guard Pages
 ...........................
 

-**Option** ``contexts:guard-size`` **Default** 1 page in most case (0 pages on Windows or with MC)
+**Option** ``contexts/guard-size`` **Default** 1 page in most case (0 pages on Windows or with MC)

 
 A stack guard page is usually used which prevents the stack of a given
 actor from overflowing on another stack. But the performance impact
 may become prohibitive when the amount of actors increases.  The
 
 A stack guard page is usually used which prevents the stack of a given
 actor from overflowing on another stack. But the performance impact
 may become prohibitive when the amount of actors increases.  The

-option ``contexts:guard-size`` is the number of stack guard pages
+option ``contexts/guard-size`` is the number of stack guard pages

 used.  By setting it to 0, no guard pages will be used: in this case,
 you should avoid using small stacks (with :ref:`contexts/stack-size
 <cfg=contexts/stack-size>`) as the stack will silently overflow on
 used.  By setting it to 0, no guard pages will be used: in this case,
 you should avoid using small stacks (with :ref:`contexts/stack-size
 <cfg=contexts/stack-size>`) as the stack will silently overflow on