CVS update: phpdoc

From: Date: Sun, 20 Jun 1999 01:16:32 +0000
Subject: CVS update: phpdoc
Groups: php.dev 
Request: Send a blank email to php-dev+get-7164@lists.php.net to get a copy of this message
Date: Saturday June 19, 1999 @ 21:16 Author: jim Update of /repository/phpdoc In directory php:/tmp/cvs-serv4147 Modified Files: common.dsl Log Message: Fix this so it actually works as was intended. Index: phpdoc/common.dsl diff -u phpdoc/common.dsl:1.1.1.1 phpdoc/common.dsl:1.2 --- phpdoc/common.dsl:1.1.1.1 Sun Jun 6 14:50:23 1999 +++ phpdoc/common.dsl Sat Jun 19 21:16:29 1999 @@ -1,6 +1,6 @@ ;; -*- Scheme -*- ;; -;; $Id: common.dsl,v 1.1.1.1 1999/06/06 18:50:23 sas Exp $ +;; $Id: common.dsl,v 1.2 1999/06/20 01:16:29 jim Exp $ ;; ;; This file contains stylesheet customization common to the HTML ;; and print versions. @@ -11,7 +11,8 @@ (define %refentry-function% #t) (define %refentry-generate-name% #f) (define %funcsynopsis-style% 'ansi) -(define %legalnotice-link-file% (string-append "copyright" %html-ext%)) +(define ($legalnotice-link-file$ legalnotice) + (string-append "copyright" %html-ext%)) (define %generate-legalnotice-link% #t) (define %footnotes-at-end% #t) (define %force-chapter-toc% #t)

« previous php.dev (#7164) next »