 Daniel Rudolf
|
fad5d869ee
Improve build system; add _build/github-clone.sh
|
8 lat temu |
|
Daniel Rudolf
|
a9eee00950
Fix references to the picocms.github.io repo
|
8 lat temu |
|
Daniel Rudolf
|
749114df61
Build system: Update phpDoc list formatting
|
9 lat temu |
|
Daniel Rudolf
|
79a14799bb
Build system: Add phpDoc list
|
9 lat temu |
|
Daniel Rudolf
|
ce84a8618c
Build system: Minor code refactoring
|
9 lat temu |
|
Daniel Rudolf
|
0f85f85367
Build scripts: Fix exit codes
|
9 lat temu |
|
Daniel Rudolf
|
024f994d9e
_build/deploy-phpdoc-branch.sh: Don't forget to commit phpDocs cache
|
9 lat temu |
|
Daniel Rudolf
|
26d7d2f68e
Build scripts: Fix formatting
|
9 lat temu |
|
Daniel Rudolf
|
b472664a20
Build scripts: Don't try to commit nothing
|
9 lat temu |
|
Daniel Rudolf
|
cd0e0f706f
Build scripts: Git identity must be configured before committing
|
9 lat temu |
|
Daniel Rudolf
|
92026a3bd0
Add static shields.io badge generator
|
9 lat temu |
|
Daniel Rudolf
|
47d2685c6d
phpDocs auto deployment: Disable cache for releases
|
9 lat temu |
|
Daniel Rudolf
|
f5c721aba1
phpDocs auto deployment: Fix paths
|
9 lat temu |
|
Daniel Rudolf
|
76f243f925
Refactor phpDoc deployment
|
9 lat temu |
|
Daniel Rudolf
|
4be51a7bee
Refactor phpDoc generation
|
9 lat temu |
|
theshka
|
1dc410425f
Isolate build-related files from source
|
9 lat temu |
