Fix a gnuplot command.

diff --git a/examples/step-10/doc/results.dox b/examples/step-10/doc/results.dox
index 7f4a5c6b3447591a003140416ebca4818630d03a..b6b000b572954cf66745393f4d4aadc93524779d 100644 (file)
--- a/examples/step-10/doc/results.dox
+++ b/examples/step-10/doc/results.dox
@@ -12,7 +12,7 @@ set size ratio -1
 unset key
 unset xtics
 unset ytics
-plot [-1:1][-1:1] "ball_0_mapping_q_1.dat" lw4 lt rgb "black"
+plot [-1:1][-1:1] "ball_0_mapping_q_1.dat" lw 4 lt rgb "black"
 @endcode
 or using one of the other filenames. The second line makes sure that
 the aspect ratio of the generated output is actually 1:1, i.e. a