Users Guide formatting bug
|Reported by:||simonmar||Owned by:||igloo|
|Type of failure:||Documentation bug||Difficulty:|
|Test Case:||Blocked By:|
The section "Running a compiled program" is numbered 4.1, yet it comes after 4.15 in the contents:
Furthermore it comes directly after the real 4.1 if you scroll down that page, which makes the ordering very strange for someone reading the guide from start to finish.
I suspect a tool bug. We should try formatting the docs using different versions of the tools.