File: make_chm.bat

package info (click to toggle)
phpdoc 20050512-1
  • links: PTS
  • area: non-free
  • in suites: sarge
  • size: 36,592 kB
  • ctags: 1,501
  • sloc: xml: 376,768; php: 6,708; cpp: 500; makefile: 293; perl: 161; sh: 151; awk: 28
file content (54 lines) | stat: -rw-r--r-- 1,585 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
@echo off

rem !! Please read the make_chm.README file for information
rem !! about how to build a "php_manual_lang.chm" file.

rem Path of the PHP CGI executable
set PHP_PATH=D:\progra~1\php404\php.exe

rem Path of the Help Compiler command line tool
set PHP_HELP_COMPILER=D:\progra~1\helpwo~1\hhc.exe

rem The language of the manual to compile
set PHP_HELP_COMPILE_LANG=en

rem The source directory with the original DSSSL made HTML
set PHP_HELP_COMPILE_DIR=html

rem The directory, where the fancy files need to be copied
set PHP_HELP_COMPILE_FANCYDIR=fancy

rem ==========================================================
rem !!!!!    DO NOT MODIFY ANYTHING BELOW THIS LINE      !!!!!
rem ==========================================================

echo.

if a%1a == anormala goto skipfancy

echo Now generating the fancy manual in %PHP_HELP_COMPILE_FANCYDIR% dir...
IF NOT EXIST %PHP_HELP_COMPILE_FANCYDIR%\NUL md %PHP_HELP_COMPILE_FANCYDIR%
IF NOT EXIST %PHP_HELP_COMPILE_FANCYDIR%\figures md %PHP_HELP_COMPILE_FANCYDIR%\figures
copy %PHP_HELP_COMPILE_DIR%\figures\*.* %PHP_HELP_COMPILE_FANCYDIR%\figures\*.*
%PHP_PATH% -q make_chm_fancy.php

goto normal

:skipfancy
set PHP_HELP_COMPILE_FANCYDIR=
echo Skipping fancy manual generation...

:normal

echo Now running the toc and project file generator script...
%PHP_PATH% -q make_chm.php

echo Compiling the actual helpfile (php_manual_%PHP_HELP_COMPILE_LANG%.chm)...
%PHP_HELP_COMPILER% php_manual_%PHP_HELP_COMPILE_LANG%.hhp

echo.
echo Cleaning up the directory
rem del php_manual_%PHP_HELP_COMPILE_LANG%.hh?

echo Done!
echo.