You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the packacing docs it says to run make install however that is not enough because we have to set some variables there such as DESTDIR, mandir, bindir etc. These are also not set with the top level Makefile. So we should improve this.
The text was updated successfully, but these errors were encountered:
In the packacing docs it says to run
make install
however that is not enough because we have to set some variables there such asDESTDIR
,mandir
,bindir
etc. These are also not set with the top level Makefile. So we should improve this.The text was updated successfully, but these errors were encountered: