1
0
Fork 0
mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-11-04 22:43:00 +00:00
Commit graph

16 commits

Author SHA1 Message Date
639d20afdb
Add theme server to start-server & improve --help docs 2019-09-29 15:42:22 +01:00
26c3a4d0a2
Wire the theme index into the gallery ui, but it's still untested.
Part of #5.
2019-08-26 13:16:13 +01:00
45befb5ff1
Work on automatic theme index & preview generation 2019-08-25 21:38:28 +01:00
98c94a2b59
Start working on theme index, but screenshotting isn't finished yet 2019-08-25 18:12:08 +01:00
76a041a47f
build.sh: fix typo 2019-08-08 18:16:56 +01:00
4c6459b70d
build.sh: Use portable function definition style 2019-08-08 18:14:52 +01:00
71bceaa60b
Bugfix: Create temporary directory before downloading phpDocumentor 2019-08-08 18:13:13 +01:00
90c486894f
Use nightdocs instead of docpress.
I'm fed up with dealing with all the security warning notifications....
2019-05-12 12:05:44 +01:00
4f9f1a6cf9
Add support for core sharding to build script 2019-03-02 21:13:41 +00:00
0cd0b8d281
We're not using php_error anymore 2018-12-12 23:37:35 +00:00
87fdb1440c
Update references & rebuild docs 2018-12-12 23:31:24 +00:00
ca68989bb7
Seriously reorganise stuff. Much tidier :D 2018-12-12 23:23:50 +00:00
e9381da756 Fix permissions 2017-07-03 18:05:57 +01:00
9272938530 Change special * module to 'all' because of bash expansions 2015-10-04 13:36:58 +01:00
daa8ac2a3b Rework build system to reduce repetition 2015-09-20 12:37:21 +01:00
28234dc775 Add new linux build script 2015-09-19 10:23:53 +01:00