Fixed spoofdir.php so that it now correctly interprets PHP files within the virtual directories, rather than sending those files back to the client's browser as raw text.
Fixed spoofdir.php so that it now correctly interprets
PHP files within the virtual directories, rather than sending those
files back to the client's browser as raw text.

Upgraded jobber.pl so that it can now run an optional
post-processing step on files generated for online browsing.  In
particular, it now runs a script which sets up the User's Manual and
the API reference to accept user-annotation.


git-svn-id: 28d9401aa571d5108e51b194aae6f24ca5964c06@9287 8cc4aa7f-3514-0410-904f-f2cc9021211c

crystalspace/CS,crystalspace/CS,crystalspace/CS,crystalspace/CS,crystalspace/CS,crystalspace/CS,crystalspace/CS,crystalspace/CS