log Makefile.docs @ 30:098c4f5507c7

age author description
Fri, 25 Dec 2020 18:58:45 -0800 David Barts Standardize things for Linux packaging.
Thu, 16 Jul 2020 19:57:23 -0700 David Barts Initial commit. Untested!