-
-
Notifications
You must be signed in to change notification settings - Fork 192
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Debian packaging #169
base: master
Are you sure you want to change the base?
Debian packaging #169
Conversation
Spoke with someone more knowledgeable of Debian Packaging. It shouldn't be necessary to split the |
Sorry, I'm not sure I understand. Would it be better to let Makefile's |
Ah ha. It looks like I used the RedHat style of |
In order not to duplicate the documentation, this patch makes the DOC_DIR variable overridable by environment variable, and changes the default path *not* to include the version number.
* Pulled in @havenwood's chruby man page.
Bump; is there anything particular that prevents this PR from being merged? |
@jnv I believe just ensuring documentation is installed in the correct location. That and rebasing it against current master. |
This set of patches adds a very basic debian package definition. The package installs to
/usr
rather than/usr/local
, and puts the documentation in the right place.There are a couple of minor tweaks to the Makefile necessary to get this to be smooth: firstly, the debian helper scripts expect the Makefile to respect the DESTDIR environment variable, which I've added. Secondly, the helper scripts install the docs themselves, and don't rely on the
make install
task to do it for them. This means that before I split themake install
task out tomake install_files
, I was getting two sets of documents installed, which was a little untidy.The package installs and works on Debian Wheezy. I haven't tried it on an Ubuntu, but I think it should work without modification.