added doc update script

This commit is contained in:
Steffen Vogel 2010-07-22 11:58:32 +02:00
parent 349d93355a
commit 2e3fae8026
3 changed files with 46 additions and 37 deletions

View file

@ -0,0 +1,44 @@
<?php
/**
* phpdoc generation
*
* This is simple bash script to update the project documentation
* based on PHPDocumentor. It's used to be invoked by post-commit hooks
* of GitHub or the release script.
*
* @copyright Copyright (c) 2010, The volkszaehler.org project
* @author Steffen Vogel <info@steffenvogel.de>
* @package tools
* @license http://www.opensource.org/licenses/gpl-license.php GNU Public License
*
* This file is part of volkzaehler.org
*
* volkzaehler.org is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* any later version.
*
* volkzaehler.org is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with volkszaehler.org. If not, see <http://www.gnu.org/licenses/>.
*/
$vzDir = '/var/www/vz';
# change directory
chdir($vzDir . '/github/');
# update git
passthru('git pull');
chdir($vzDir);
# update dokumentation
passthru('phpdoc/phpdoc --config ' . $vzDir . '/github/share/tools/phpdoc.ini');
?>

View file

@ -1,35 +0,0 @@
#!/bin/bash
#
# Copyright (c) 2010 by Justin Otherguy <justin@justinotherguy.org>
#
# This program is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License (either version 2 or
# version 3) as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
#
# For more information on the GPL, please go to:
# http://www.gnu.org/copyleft/gpl.html
#
# This is simple bash script to update the project documentation
# based on PHPDocumentor. It's used to be invoked by post-commit hooks
# of GitHub or the release script.
#
# change directory
cd /var/www/vz/github/
# update git
git pull
cd /var/www/vz/
# update dokumentation
phpdoc/phpdoc --config /var/www/vz/github/share/tools/phpdoc.ini

View file

@ -39,7 +39,7 @@ defaultcategoryname = Documentation
;; what is the main package?
;; legal values: alphanumeric string plus - and _
defaultpackagename = volkszaehler.org
defaultpackagename = default
;; output any parsing information? set to on for cron jobs
;; legal values: on
@ -94,7 +94,7 @@ ignore = .git*,backend/lib/vendor/,backend/lib/Model/Proxies/
;; HTML:frames:DOM/phphtmllib,HTML:frames:DOM/earthli
;; HTML:Smarty:default,HTML:Smarty:PHP,HTML:Smarty:HandS
;; PDF:default:default,CHM:default:default,XML:DocBook/peardoc2:default
output=HTML:frames:earthli
output=HTML:frames:DOM/earthli
;; turn this option on if you want highlighted source code for every file
;; legal values: on/off