Pepperminty-Wiki/build.bat

mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-06-16 14:14:57 +00:00
@echo off
echo Deleting old index.php
del 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`
Updated build.bat to delete the old `index.php` 2014-12-26 13:01:01 +00:00			`del 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`