log Makefile.docs @ 55:f5faf70c7d10

age author description
Mon, 04 May 2020 18:12:59 -0700 David Barts Is it finally generating decent PDF's?
Mon, 04 May 2020 11:06:44 -0700 David Barts Rename so it doesn't look like an M$ word file. base Makefile.doc@6e21c562e6ad