Skip to content
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

Install documentation to $(docdir)/julia instead of $(datarootdir)/julia/doc #8367

Closed
nalimilan opened this issue Sep 15, 2014 · 0 comments
Closed
Labels
domain:building Build system, or building Julia or its dependencies

Comments

@nalimilan
Copy link
Member

This is the standard directory, distributions prefer documentation to go to $(docdir)/julia [1], which defaults to /usr/share/doc/julia. I'll have a look, this is mostly a reminder for myself.

By the way, by default calling make && make install you get the .rst installed directly. Maybe it would make more sense to compile this to HTML? Installing Python and configuration files does not make much sense either.

The man page is also duplicated in $(datarootdir)/julia/doc/man. Not sure why.

1: http://www.gnu.org/software/make/manual/html_node/Directory-Variables.html

@JeffBezanson JeffBezanson added the domain:building Build system, or building Julia or its dependencies label Sep 16, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
domain:building Build system, or building Julia or its dependencies
Projects
None yet
Development

No branches or pull requests

2 participants