On 1/13/19 8:15 AM, Dave Reisner wrote:
> On Sat, Jan 12, 2019 at 09:15:00PM -0500, Eli Schwartz wrote:
>> A number of pages don't actually exist as html inside the source tree,
>> and need to be generated even though they are manpages.
>>
>> This caused the website.tar.gz target to only work
On Sat, Jan 12, 2019 at 09:15:00PM -0500, Eli Schwartz wrote:
> A number of pages don't actually exist as html inside the source tree,
> and need to be generated even though they are manpages.
>
> This caused the website.tar.gz target to only work inside a dirty tree
> initially created by