build.properties

; local properties filename, overrides settings in this file
local.properties = local.properties

; programs

programs.php = /usr/bin/php
programs.svn = /usr/bin/svn
programs.phd = /usr/bin/phd
programs.xmllint = /usr/bin/xmllint

; paths
dirs.translation = ru
generated.manual = doc-base/.manual.xml
original.manual = doc-base/manual.xml

; generated files
files.revcheck_output = revcheck.html
files.reviewedcheck_output = reviewedcheck.html

; generated build format, by default php-web
generated.format = php

; scripts to run
scripts.markup_check = ${programs.php} doc-base/scripts/check_modified.php ${dirs.translation}
scripts.revcheck = ${programs.php} doc-base/scripts/revcheck.php ${dirs.translation}
scripts.reviewedcheck = ${programs.php} doc-base/scripts/reviewedcheck.php ${dirs.translation}
scripts.build = ${programs.php} doc-base/configure.php --with-lang=${dirs.translation}
scripts.generate = ${programs.phd} -d ${generated.manual} -P PHP -f ${generated.format}
scripts.svn_up = ${programs.svn} up
scripts.xmllint = ${programs.xmllint} --stream --valid --noent --noout ${original.manual}