Separate target dirs for local and non-local html
authorKarl O. Pinc <kop@karlpinc.com>
Tue, 9 May 2023 22:11:20 +0000 (17:11 -0500)
committerKarl O. Pinc <kop@karlpinc.com>
Tue, 9 May 2023 22:11:20 +0000 (17:11 -0500)
commite42f83493f7888b86ed23909d171ee61df8ea476
tree96da0ca7a7d45d773b87165f001908b25189cb50
parent318df04b365102962dc766a4f1d0fb0782b4cc0f
Separate target dirs for local and non-local html

Since local html now uses a html builder but non-local html uses
dirhtml, sharing a target directory results is "extra stuff"
leftover from the other kind of build.  We don't want that.
Makefile