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;
 


Reply via email to