Change xref syntax to avoid docs processing bug

The current Documentation processing script can't handle the newer xref
syntax for cross references. Let's use the older syntax for now, and
consider changing over in the future, after the processing bug is fixed.

Signed-off-by: Remington Steed <rjs7@calvin.edu>