search

kpeeters / cadabra2

A field-theory motivated approach to computer algebra.
https://cadabra.science/
GNU General Public License v3.0
215 stars 37 forks source link

Move man pages #175

Closed cbehan closed 4 years ago

cbehan commented 4 years ago

The Filesystem Hierarchy Standard deprecated /usr/man a few years ago.

kpeeters commented 4 years ago

Happy with this in principle, but the problem will now be that 'make install' will happily leave the old man pages around. I have had that issue with another move, and it leads to endless problems. You cannot just stick a 'rm' in the install target either (to remove old versions), because there are package managers which do not like that.

cbehan commented 4 years ago

Could we go with a 'make install' that aborts with an explanation when these files are present?

kpeeters commented 4 years ago

You'll need at least a simple additional target which can be used to remove the old pages; you don't want to ask the user to do that manually.