Update link to reference generated website

Additional `sed` command is required in order to fix the duplicate `\`
inserted by pandoc onto the front of `\ref`.

Author: thomasspriggs

doc/architectural/central-data-structures.md

@@ -110,8 +110,7 @@ in the symbol-table for their definitions.
 A  goto program  is a sequence of GOTO instructions (`goto_instructiont`). For
 details of the `goto_programt` class itself see the documentation in
 [`goto_program.h`](../../src/goto-programs/goto_program.h). For further details
-of the life cycle of goto programs see
-[`src/goto-programs/README.md`](https://github.com/diffblue/cbmc/blob/develop/src/goto-programs/README.md).
+of the life cycle of goto programs see \ref goto-programs "goto programs"
 
 An instruction (`goto_instructiont`) is a triple (an element with three subcomponents),
 describing a GOTO level instruction with the following 3 component subtypes,

doc/doxygen-root/doxygen-markdown/markdown.sh

@@ -46,7 +46,7 @@ for file in $FILES; do
     # lines is unescaped using sed in order to fix doxygen tags, which are
     # broken by pandoc.
     pandoc --read=gfm --write=gfm --wrap=none --filter=mermaid-filter $tmp |
-        $BINDIR/pandoc-codeblock-repair.sh | sed 's/^\\\\/\\/' > $file
+        $BINDIR/pandoc-codeblock-repair.sh | sed 's/\\\\ref\s/\\ref /;s/^\\\\/\\/' > $file
 done
 
 cprovers=$(find . -name cprover-manual)