Change URL paths for docs
authorKarl O. Pinc <kop@karlpinc.com>
Wed, 10 May 2023 03:34:25 +0000 (22:34 -0500)
committerKarl O. Pinc <kop@karlpinc.com>
Wed, 10 May 2023 03:42:18 +0000 (22:42 -0500)
commit448025c8de1435d65d3da5d09136c9d2bf3fa3c0
tree0f8dc8e19c070091caac79d65dd429598ef0dc57
parent9a2c0f0e1f0ada78a1659a6657834b4e902dd642
Change URL paths for docs

Have a separate dir for html within docs, as is required by the
process that copies the generated html because anything not generated
is removed.  And put the pdf documents in the doc directory.
Makefile