On 2025-09-10 16:30:09, François Bissey wrote: > Even if sage-the-distro was dead, those variables are useful. > And if we say it is dead, well, it should go in a more standard > location, which at minimum would be $prefix/share/doc and configurable. > In Gentoo we want stuff in /usr/share/doc/pkg-name-pkg-version and I > have been managing that properly so far, and I certainly want a > mechanism to do it in the future and I want it properly documented.
I think the closest thing to The Right Way would be for meson to support --docdir, and then for everyone to pass it their favorite directory: https://github.com/mesonbuild/meson/issues/825 Our build system would then not just build the docs, but also install them (to the given location). In the meantime I guess we could fake this with a custom option of the same name, e.g. $ meson setup -Ddocdir=/path/to/docs ... -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/aMFyhZd75ysl_Bl9%40mertle.
