users-guide: Fix a few markup issues

Authored by bgamari on Jun 10 2019, 9:51 PM.

Description

users-guide: Fix a few markup issues

Strangely these were only causing the build to fail in the aarch64-linux
job, despite Sphinx throwing errors in all jobs I checked.

Also changes some #ifdefs to #if defined to satisfy the linter.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 13 2019, 1:51 AM
Parents
rGHC35113117436c: Hadrian: Do not allow the Linux jobs to fail anymore
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC70b5eefe0982: users-guide: Fix a few markup issues (authored by bgamari).Jun 13 2019, 1:51 AM