SVN commit 1386215 by lueck: switch d.k.o to released 4.13 M +2 -2 generator M +3 -5 index.php --- trunk/www/areas/docs/generator #1386214:1386215 @@ -23,7 +23,7 @@ mkdir $logDir # do we even need incremental updates? -# rm -rf $websiteDir +rm -rf $websiteDir # populate_documentation does not delete a directory, how to fix that? if [ ! -d $websiteDir ]; then @@ -36,7 +36,7 @@ packages=$(cat $startDir/packages) -stable_branch="4.12" +stable_branch="4.13" branches="development stable" docbookPath="/usr/share/xml/docbook/schema/dtd/4.2/" --- trunk/www/areas/docs/index.php #1386214:1386215 @@ -1,6 +1,6 @@ ";