diff options
author | Pavlo Yatsukhnenko <yatsukhnenko@users.noreply.github.com> | 2018-04-18 11:28:08 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-18 11:28:08 +0300 |
commit | 43613d9e3cea5f2fbf84b6d0e377abca0723a6d1 (patch) | |
tree | 1d220be7fde97a956273a2a819ca6e5749d1f1c7 /package.xml | |
parent | 18d03fdb171e5dca7a261e67d71264deac2eaedd (diff) | |
parent | e99e69cec524982b3bd3e33f1ffbfc91869043f4 (diff) |
Merge pull request #1316 from remicollet/issue-inst
split INSTALL and add more instructions
Diffstat (limited to 'package.xml')
-rw-r--r-- | package.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/package.xml b/package.xml index fa7e5cc1..3f3c6d8b 100644 --- a/package.xml +++ b/package.xml @@ -65,6 +65,7 @@ http://pear.php.net/dtd/package-2.0.xsd"> <file role='doc' name='COPYING'/> <file role='doc' name='CREDITS'/> <file role='doc' name='README.markdown'/> + <file role='src' name='INSTALL.markdown'/> <file role='doc' name='arrays.markdown'/> <file role='doc' name='cluster.markdown'/> <file role='src' name='cluster_library.c'/> |