Updating cross references to design documents to html style, to go with master/design document tree.

Copied from Perforce
 Change: 29897
 ServerID: perforce.ravenbrook.com

1 files changed, 3 insertions, 3 deletions

diff --git a/mps/code/protan.c b/mps/code/protan.c
index e6d113a4849..ff02074fe3f 100644
--- a/mps/code/protan.c
+++ b/mps/code/protan.c
@@ -6,7 +6,7 @@
  *
  * DESIGN
  *
- * design.mps.protan
+ * <design/protan/>
  */
 
 #include "mpm.h"
@@ -36,7 +36,7 @@ void ProtSet(Addr base, Addr limit, AccessSet pm)
 
 /* ProtSync -- synchronize protection settings with hardware
  *
- * See design.mps.protan.fun.sync.
+ * See <design/protan/#fun.sync>.
  */
 
 void ProtSync(Arena arena)
@@ -53,7 +53,7 @@ void ProtSync(Arena arena)
       Addr base;
       do {
         base = SegBase(seg);
-        if (SegPM(seg) != AccessSetEMPTY) { /* design.mps.protan.fun.sync.seg */
+        if (SegPM(seg) != AccessSetEMPTY) { /* <design/protan/#fun.sync.seg> */
           ShieldEnter(arena);
           TraceSegAccess(arena, seg, SegPM(seg));
           ShieldLeave(arena);