[php] Manual als Zip

[Tobias Ratschiller]

> Ich könnte noch mehr Formen des deutschen Handbuchs erzeugen, aber da
> muss ich immer im Makefile nachschauen wie das geht.

Ist das deutsche Manual im CVS?
Stimmt es, daß Ihr dafür DocBookX verwendet?
Verwendet Ihr DSSSL für Stylesheets?

Mit interessierten Grüßen,
  Tobias Ratschiller
--
<?php function m($x){global $y,$z;$x=$x>0?-9:$x;$z=($z=$x+5)>0?$z:-$z;
print(!$x&&++$y?"\n":($z?($z>$y%3+$y/3?" ":($x<-5?"/":"\\")):"|"));$y-
9?m(++$x):print("  _|_|_\n  \\___/");}printf("%5s", "*");m(0);
/*  Merry Christmas | Tobias Ratschiller | http://phpWizard.net  */ ?>