log Makefile.docs @ 60:d0b83fc1d62a default tip

age author description
Mon, 04 May 2020 18:12:59 -0700 David Barts Is it finally generating decent PDF's?