This website requires JavaScript.
Explore
Help
Sign In
sbrl-github
/
Pepperminty-Wiki
Watch
1
Star
0
Fork
You've already forked Pepperminty-Wiki
0
mirror of
https://github.com/sbrl/Pepperminty-Wiki.git
synced
2024-11-04 22:43:00 +00:00
Code
Activity
v0.7
Pepperminty-Wiki
/
build.bat
6 lines
96 B
Batchfile
Raw
Permalink
Normal View
History
Unescape
Escape
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
Copy permalink