cvs: php-gtk /docs makedocs.bat

jmoore Sat Mar 31 19:36:47 2001 EDT Added files: /php-gtk/docs makedocs.bat Log: batch file to make building of PHP under win32 easier # Ill post a howto tomorrow on how to do it all Index: php-gtk/docs/makedocs.bat +++ php-gtk/docs/makedocs.bat @echo off REM: ========================================= REM: Check to see if html dir is already there REM: ========================================= echo =========================================== echo - Building PHP-GTK docs for win32 - echo =========================================== echo - Checking for exisiting HTML dir IF NOT EXIST HTML GOTO NOHTMLDIR echo - Removing HTML dir RMDIR /S /Q html REM: =============== REM: Create HTML DIR REM: =============== :NOHTMLDIR echo - Creating empty HTML dir mkdir HTML REM: =============== REM: Run Saxon REM: =============== :SAXON echo - Running Saxon FOR /F %%a in ('saxon manual.xml stylesheets/xsl/html.xsl') DO echo - %%a cd html REM: ========================= REM: Run PHP for HTML creation REM: ========================= :PHP echo - Creating classentry HTML FOR %%a IN (*.php) DO php -q %%a goto end :END