Pepperminty-Wiki/build.bat

mirror of https://github.com/sbrl/Pepperminty-Wiki.git
@echo off
echo Deleting old index.php
del build\index.php
php rebuild_module_index.php
php build.php
Cleaned up build system 2015-05-24 15:24:03 +00:00			`@echo off`
			`echo Deleting old index.php`
Move the built version to a separate folder & update README... again 2015-08-05 12:34:37 +00:00			`del build\index.php`
Preliminary testing done! I think it works!!! 2015-05-08 19:30:32 +00:00			`php rebuild_module_index.php`
the new build system is done! Next up: testing. 2015-05-08 19:03:15 +00:00			`php build.php`