Added a new command option "contact erase". This provides a way to

remove contact cuts from a layout without affecting the surrounding
metals, which is something that the "erase" command does not do.

doc/html/contact.html

@@ -25,7 +25,7 @@ Paint a contact at the intersection of two layers.
 
 <H3>Usage:</H3>
    <BLOCKQUOTE>
-      <B>contact</B> <I>type</I><BR><BR>
+      <B>contact</B> [<B>erase</B>] <I>type</I><BR><BR>
    </BLOCKQUOTE>
 
 <H3>Summary:</H3>
@@ -33,20 +33,24 @@ Paint a contact at the intersection of two layers.
       The <B>contact</B> command computes the intersection area (inside the
       cursor box) of the two (or more) residue types that make up the contact
       type <I>type</I>, and paints the contact type <I>type</I> on top of the
-      area of intersection.
+      area of intersection. <P>
+
+      Option <B>contact erase</B> erases contacts from the area of the cursor
+      box without affecting the metal layers (or stacked contacts) surrounding
+      the contact being erased.  (Note that the <B>erase</B> command will
+      remove both the contact type and the surrounding metal layers.)
+     
    </BLOCKQUOTE>
 
 <H3>Implementation Notes:</H3>
    <BLOCKQUOTE>
       <B>contact</B> is implemented as a built-in layout command in <B>magic</B>.
-      As of magic version 7.3.115 this command does not correctly translate the
-      cursor box for edit cells and may paint outside of the cursor box, with
-      random results.
    </BLOCKQUOTE>
 
 <H3>See Also:</H3>
    <BLOCKQUOTE>
       <A HREF=paint.html><B>paint</B></A> <BR>
+      <A HREF=erase.html><B>erase</B></A> <BR>
    </BLOCKQUOTE>
 
 <P><IMG SRC=graphics/line1.gif><P>

doc/html/erase.html

@@ -60,7 +60,12 @@ Erase paint from the layout inside the bounds of the cursor box.
 
       The option "<B>erase cursor</B>" picks the layers at the position
       of the (X11) cursor and erases these from the area of the cursor
-      box.
+      box. <P>
+
+      Note that when applied to contact types, "<B>erase</B>" will erase
+      the entire contact, including the top and bottom metal types
+      comprising the contact.  To remove the contact cuts without affecting
+      the surrounding material, use the "<B>contact erase</B>" command. <P>
    </BLOCKQUOTE>
 
 <H3>Implementation Notes:</H3>
@@ -71,6 +76,7 @@ Erase paint from the layout inside the bounds of the cursor box.
 <H3>See Also:</H3>
    <BLOCKQUOTE>
       <A HREF=paint.html><B>paint</B></A> <BR>
+      <A HREF=contact.html><B>contact</B></A> <BR>
    </BLOCKQUOTE>
 
 <P><IMG SRC=graphics/line1.gif><P>