Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
create a man page directory #91
Any opinion on creating in /opt/scidb/18.1 a man page directory?
mkdir -p "$(DESTDIR)$(SCIDB)/man/man1"
One could add on the above webpage an 'export' line in .scidbrc
or author for /etc/profile.d executable scidb.csh and scidb.sh files.
There is a section on the above webpage about compressing man pages.
Incidentally I noticed from the extracted scidb-18.1-utils-11-1.x86_64.rpm that the binaries with the exception of indexmapper are stripped, whether that was intentional or not, the above cited webpage also has a section on stripping binaries and libraries.