# HG changeset patch
# User roug
# Date 1039345750 0
# Node ID 0e448b7f9353828f996e6d5360bec4c2790aa4c4
# Parent  62789dc2b312b4cbffed9bf1e79403e55d9892c8
Convert to Docbook XML format

diff -r 62789dc2b312 -r 0e448b7f9353 docs/ccguide/pause.refentry
--- a/docs/ccguide/pause.refentry	Sun Dec 08 11:09:09 2002 +0000
+++ b/docs/ccguide/pause.refentry	Sun Dec 08 11:09:10 2002 +0000
@@ -8,7 +8,7 @@
 <funcsynopsis>
 <funcprototype>
   <funcdef><function>pause</function></funcdef>
-  <void>
+  <void/>
 </funcprototype>
 </funcsynopsis>