[Gzz-commits] gzz ./Makefile doc/gzz.css doc/pegboard/1013/PE...

[Benja Fallenstein]

CVSROOT:        /cvsroot/gzz
Module name:    gzz
Changes by:     Benja Fallenstein <address@hidden>      02/10/08 19:44:07

Modified files:
        .              : Makefile 
        doc            : gzz.css 
Added files:
        doc/pegboard/1013: PEG_1013.rst 

Log message:
        PEG 1013: Add clipping state to vob scenes

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gzz/gzz/Makefile.diff?tr1=1.182&tr2=1.183&r1=text&r2=text
http://savannah.gnu.org/cgi-bin/viewcvs/gzz/gzz/doc/gzz.css.diff?tr1=1.3&tr2=1.4&r1=text&r2=text
http://savannah.gnu.org/cgi-bin/viewcvs/gzz/gzz/doc/pegboard/1013/PEG_1013.rst?rev=1.1

Patches:
Index: gzz/Makefile
diff -c gzz/Makefile:1.182 gzz/Makefile:1.183
*** gzz/Makefile:1.182  Tue Oct  8 19:02:13 2002
--- gzz/Makefile        Tue Oct  8 19:44:07 2002
***************
*** 296,302 ****
        doc++  -a --before-group --before-class --no-java-graphs 
--trivial-graphs  -H -F -d doc/docxx -u `find gfx -name '*.hxx'`
          
  pegs:
!       python metacode/pegboard.py # should be $(JYTHON), but doesn't work 
somehow
  
  lavadoc::
        javadoc $(JAVADOCOPTS) -d lavadoc -sourcepath ./:lava/  gzz gzz.impl 
gzz.impl.errors
--- 296,303 ----
        doc++  -a --before-group --before-class --no-java-graphs 
--trivial-graphs  -H -F -d doc/docxx -u `find gfx -name '*.hxx'`
          
  pegs:
!       # should be $(JYTHON), but doesn't work somehow
!       python metacode/pegboard.py
  
  lavadoc::
        javadoc $(JAVADOCOPTS) -d lavadoc -sourcepath ./:lava/  gzz gzz.impl 
gzz.impl.errors
Index: gzz/doc/gzz.css
diff -c gzz/doc/gzz.css:1.3 gzz/doc/gzz.css:1.4
*** gzz/doc/gzz.css:1.3 Tue Oct  8 19:06:47 2002
--- gzz/doc/gzz.css     Tue Oct  8 19:44:07 2002
***************
*** 22,27 ****
--- 22,30 ----
   h1, h2, h3, h4 { background: #b0e0e0; border-style: solid; border-color: 
black;
                border-width: thin;
                clear: both; }
+ /* .docinfo { background: lightgrey; border-style: solid; border-color: black;
+             border-width: thin; clear: both; 
+             margin-top: 2.0em; margin-bottom: 0.5em; } */
   h1.title { font-size: 300% }
   h1 { font-size: 220%; }
   h2 { font-size: 160%; }