Opened 11 years ago
Closed 11 years ago
#39980 closed enhancement (fixed)
kde4 +docs as the default
Reported by: | kurthindenburg (Kurt Hindenburg) | Owned by: | macports-tickets@… |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.2.0 |
Keywords: | Cc: | cooljeanius (Eric Gallager), sharky@…, NicosPavlov | |
Port: | kdelibs4 |
Description
Currently none of the KDE ports install the docs by default. They have the variant +docs which is not used by default.
If an user adds +docs to say konsole, the helpcenter doesn't have the HTML/CSS styles if kdelibs4 doesn't have +docs as well
Since kdelibs4 binary has -docs, any user that wants the docs has to recompile kdelibs4 +docs (taking a long time).
so I would suggest (mainly for the speed of using the binary builds)
- Have kdelibs4 +docs the default (as the minimum)
- Have the rest of KDE have +docs as the default
It looks like the PortGroup kde4 would be were to patch although some individual ports have patches. I can provide patches if there's interest.
Change History (8)
comment:1 Changed 11 years ago by cooljeanius (Eric Gallager)
Cc: | egall@… added |
---|
comment:2 follow-up: 3 Changed 11 years ago by ryandesign (Ryan Carsten Schmidt)
Cc: | sharky@… nicos@… added |
---|---|
Keywords: | docs kde removed |
I'm not sure that we want to do this.
comment:3 Changed 11 years ago by kurthindenburg (Kurt Hindenburg)
Replying to ryandesign@…:
I'm not sure that we want to do this.
Can you elaborate? Is it the extra dependencies or added size?
comment:4 follow-up: 5 Changed 11 years ago by NicosPavlov
Option 2 at least seems a very bad idea to me. The additional dependencies are not negligible, but the main issue is that the documentation building process fails for several ports to my understanding, which is why it was made as a variant in the first place, so that it is not built by default.
comment:5 Changed 11 years ago by cooljeanius (Eric Gallager)
Replying to nicos@…:
the documentation building process fails for several ports to my understanding
Which ports were these?
comment:6 follow-up: 7 Changed 11 years ago by NicosPavlov
Several issues were mentioned by people handling the kde ports before me. I tried to find back precise ports, but a short search did not give anything. Then, I had problems with kdepim4 once, and with one or two ports when creating the kdegames4 set recently, but I can't remember which ones out of the 30-40 ports.
comment:7 Changed 11 years ago by kurthindenburg (Kurt Hindenburg)
Replying to nicos@…:
Several issues were mentioned by people handling the kde ports before me. I tried to find back precise ports, but a short search did not give anything. Then, I had problems with kdepim4 once, and with one or two ports when creating the kdegames4 set recently, but I can't remember which ones out of the 30-40 ports.
Could we at least get kdelibs4 to have +docs as the default?
comment:8 Changed 11 years ago by NicosPavlov
Resolution: | → fixed |
---|---|
Status: | new → closed |
It indeed makes sense for kdelibs4, so that other documentations can be built on top of it. Done in r111091, along with the update to 4.11.1
Cc Me!