mirror of
https://github.com/php/doc-gtk.git
synced 2026-03-24 00:52:17 +01:00
17 lines
296 B
Bash
Executable File
17 lines
296 B
Bash
Executable File
#!/bin/sh
|
|
|
|
php="php"
|
|
language="en"
|
|
|
|
cd "`dirname "$0"`"
|
|
|
|
$php -q scripts/gen_chapterents.php $language
|
|
$php -q scripts/gen_manualxml.php $language
|
|
|
|
echo ""
|
|
echo "Everything is set up for doccing"
|
|
echo ""
|
|
echo "Now type:"
|
|
echo " scripts/gen_manual.sh $language html"
|
|
echo "to compile the manual"
|