DESTDIR patch, was: Maxima 5.31.1 tagged and uploaded to SF

Robert Dodier wrote:

> Before I create another release,
> let me ask you, what steps will help you accomplish your goals.
> Do you want a full set of rpms? a tar.gz or src.rpm? a Git tag?

Bugs and regressions happen.  :-/

I don't think there's anything special to be done other than periodic 
testing of snapshots/pre-releases by $someone (and me, as packager, is as 
much to blame as anyone for not testing) prior to release.

-- Rex