Commit 970536d7 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Fixed link to user manual 

When building the links to the user man pages related to directives with
a _ (e.g. LOWER_WALLS) a wrong page name was generated.
parent 7510a404
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment