diff options
| author | Florian Pritz <bluewind@xinu.at> | 2016-09-05 18:13:49 +0200 |
|---|---|---|
| committer | Florian Pritz <bluewind@xinu.at> | 2016-09-19 21:41:31 +0200 |
| commit | 8ef115e8c38f0cef52a72749a918ebb4def389d0 (patch) | |
| tree | 9baa2c37cc566c82d934f1f6d5d7c35d8bbaff3f | |
| parent | 2c28398827ed9be86e3a803a27bd54e366569ac9 (diff) | |
Rename install.php to check_deps.php
Signed-off-by: Florian Pritz <bluewind@xinu.at>
| -rw-r--r-- | INSTALL | 2 | ||||
| -rw-r--r-- | check_deps.php (renamed from install.php) | 0 |
2 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ # Configuration -* run install.php to make sure all dependencies are installed +* run check_deps.php to make sure all dependencies are installed - if you are only creating a basic development installation you will only need: pygmentize (part of pygments) diff --git a/install.php b/check_deps.php index f8d2da2db..f8d2da2db 100644 --- a/install.php +++ b/check_deps.php |