mirror of
https://github.com/sbrl/Pepperminty-Wiki.git
synced 2024-06-15 01:44:56 +00:00
6 lines
107 B
Batchfile
6 lines
107 B
Batchfile
@echo off
|
|
echo Deleting old index.php
|
|
del build\index.php
|
|
php rebuild_module_index.php
|
|
php build.php
|