mirror of
https://github.com/sbrl/Pepperminty-Wiki.git
synced 2024-11-16 02:23:01 +00:00
6 lines
110 B
Bash
6 lines
110 B
Bash
|
#!/usr/bin/env bash
|
||
|
|
echo Deleting old index.php
|
||
|
|
rm build/index.php
|
||
|
|
php rebuild_module_index.php
|
||
|
|
php build.php
|