jah Wed Jan 31 10:51:16 2001 EDT Modified files: /phpdoc configure.in print.dsl.in Log: Redefine tree-saving -mode to be even more compact but still slightly better looking. Index: phpdoc/configure.in diff -u phpdoc/configure.in:1.50 phpdoc/configure.in:1.51 --- phpdoc/configure.in:1.50 Thu Jan 25 23:36:38 2001 +++ phpdoc/configure.in Wed Jan 31 10:51:16 2001 @@ -1,4 +1,4 @@ -dnl $Id: configure.in,v 1.50 2001/01/26 07:36:38 jah Exp $ +dnl $Id: configure.in,v 1.51 2001/01/31 18:51:16 jah Exp $ AC_INIT(global.ent) @@ -150,12 +150,17 @@ [ --with-treesaving Save trees by setting pagesize and margins], [ TREESAVING="#t"; - LEFT_MARGIN="(define %left-margin% 6pi)"; - RIGHT_MARGIN="(define %right-margin% 2pi)"; - TOP_MARGIN="(define %top-margin% 2pi)"; - HEADER_MARGIN="(define %header-margin% 1pi)"; - FOOTER_MARGIN="(define %footer-margin% 1pi)"; - BOTTOM_MARGIN="(define %bottom-margin% 2pi)"; + LEFT_MARGIN="(define %left-margin% 4pi)"; + RIGHT_MARGIN="(define %right-margin% 3pi)"; + TOP_MARGIN="(define %top-margin% 3pi)"; + HEADER_MARGIN="(define %header-margin% 2pi)"; + FOOTER_MARGIN="(define %footer-margin% 2pi)"; + BOTTOM_MARGIN="(define %bottom-margin% 3pi)"; + LINE_SPACING="(define %line-spacing-factor% 1.2)"; + HEAD_BEFORE="(define %head-before-factor% 0.6)"; + HEAD_AFTER="(define %head-after-factor% 0.3)"; + BODY_START="(define %body-start-indent% 3pi)"; + BLOCK_SEP="(define %block-sep% (* %para-sep% 1.2))"; ],[ TREESAVING="#f"; LEFT_MARGIN=""; @@ -164,6 +169,11 @@ HEADER_MARGIN=""; FOOTER_MARGIN=""; BOTTOM_MARGIN=""; + LINE_SPACING=""; + HEAD_BEFORE=""; + HEAD_AFTER=""; + BODY_START=""; + BLOCK_SEP=""; ]) AC_SUBST(LEFT_MARGIN) AC_SUBST(RIGHT_MARGIN) @@ -171,6 +181,11 @@ AC_SUBST(HEADER_MARGIN) AC_SUBST(FOOTER_MARGIN) AC_SUBST(BOTTOM_MARGIN) +AC_SUBST(LINE_SPACING) +AC_SUBST(HEAD_BEFORE) +AC_SUBST(HEAD_AFTER) +AC_SUBST(BODY_START) +AC_SUBST(BLOCK_SEP) AC_SUBST(TREESAVING) echo "saving trees: $TREESAVING"; Index: phpdoc/print.dsl.in diff -u phpdoc/print.dsl.in:1.12 phpdoc/print.dsl.in:1.13 --- phpdoc/print.dsl.in:1.12 Sun Jun 25 07:24:36 2000 +++ phpdoc/print.dsl.in Wed Jan 31 10:51:16 2001 @@ -7,7 +7,7 @@ <!-- - $Id: print.dsl.in,v 1.12 2000/06/25 14:24:36 jah Exp $ + $Id: print.dsl.in,v 1.13 2001/01/31 18:51:16 jah Exp $ This file contains printout-specific stylesheet customization. @@ -28,6 +28,11 @@ @HEADER_MARGIN@ @FOOTER_MARGIN@ @BOTTOM_MARGIN@ +@LINE_SPACING@ +@HEAD_BEFORE@ +@HEAD_AFTER@ +@BODY_START@ +@BLOCK_SEP@ &version.dsl;