diff options
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/INSTALL b/INSTALL deleted file mode 100644 index 2a80450..0000000 --- a/INSTALL +++ /dev/null @@ -1,33 +0,0 @@ -Installation Instructions -========================= - -In order to install cpt, you either need a redo implementation on your system, -or use the `do` script inside the `tools/` directory (which is slower but the -source code isn't that big anyways). - -Paths and version information can be configured from the `config.rc` file or -through environment variables. - - -Installing from a git checkout ------------------------------- - -On the git checkout of the repository, the info page for the package manager -doesn't exist. The build system looks for `makeinfo` in order to build the info -page, but exits with success if it isn't on your system. That's why you -shouldn't edit the MAKEINFO variable even if you don't have it on your system, -it is optional. - - -With redo ---------- - - redo - DESTDIR= PREFIX=/usr/local redo install - - -With minimal do ---------------- - - ./tools/do - DESTDIR= PREFIX=/usr/local ./tools/do install |