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;