--- a/usr/src/cmd/distro_const/DC-manifest.rng	Sun Oct 26 12:29:33 2008 -0400
+++ b/usr/src/cmd/distro_const/DC-manifest.rng	Sun Oct 26 23:04:41 2008 -0700
@@ -195,6 +195,15 @@
 				</element>
 			</optional>
 
+			<!-- Indicate whether the IPS index should be generated
+			     for pkg install and uninstall.  The default
+			     is to not generate the IPS search index -->
+			<optional>	<!-- Default is false. -->
+				<element name="generate_ips_search_index">
+					<data type="boolean"/>
+				</element>
+			</optional>
+
 			<!-- Files to be included in the bootroot of all media
 			     delivered by this distribution.  Bootroot contains
 			     the minimal list of contents in order to be able to