goba Mon Aug 13 04:25:41 2001 EDT
Modified files:
/phpdoc html-common.dsl
Log:
Make <void/> to print (void) instead of (), hope
this makes Egon [and everybody] happy. Again, no
need to revert any changes. This was not too
hard to modify... Egon please test, if it is OK
for you.
Index: phpdoc/html-common.dsl
diff -u phpdoc/html-common.dsl:1.13 phpdoc/html-common.dsl:1.14
--- phpdoc/html-common.dsl:1.13 Fri Jul 20 14:05:03 2001
+++ phpdoc/html-common.dsl Mon Aug 13 04:25:40 2001
@@ -1,6 +1,6 @@
;; -*- Scheme -*-
;;
-;; $Id: html-common.dsl,v 1.13 2001/07/20 18:05:03 dams Exp $
+;; $Id: html-common.dsl,v 1.14 2001/08/13 08:25:40 goba Exp $
;;
;; Returns the depth of the auto-generated TOC (table of contents) that
@@ -142,7 +142,7 @@
(element (funcprototype void)
- (make sequence ( literal " ()" )))
+ (make sequence ( literal " (void)" )))
(element (funcprototype varargs)
(make sequence ( literal " (...)" )))
