jeroen          Sun Sep 30 07:48:18 2001 EDT

  Modified files:              
    /phpdoc/en/functions        misc.xml 
  Log:
  Whoops
  
  
Index: phpdoc/en/functions/misc.xml
diff -u phpdoc/en/functions/misc.xml:1.57 phpdoc/en/functions/misc.xml:1.58
--- phpdoc/en/functions/misc.xml:1.57   Sun Sep 30 07:31:35 2001
+++ phpdoc/en/functions/misc.xml        Sun Sep 30 07:48:18 2001
@@ -1,5 +1,5 @@
 <?xml encoding="iso-8859-1"?>
-<!-- $Revision: 1.57 $ -->
+<!-- $Revision: 1.58 $ -->
  <reference id="ref.misc">
   <title>Miscellaneous functions</title>
   <titleabbrev>Misc.</titleabbrev>
@@ -317,6 +317,13 @@
      </programlisting>
     </para>
    </refsect1>
+  </refentry>
+
+  <refentry id="function.exit">
+   <refnamediv>
+    <refname>exit</refname>
+    <refpurpose>Output a message and terminate the current script</refpurpose>
+   </refnamediv>
    <refsect1>
     <title>Description</title>
     <funcsynopsis>


Reply via email to