Clean doc directory when making "make dist"
commitaa72aa5bfd865202e4116cc216c653ad77c3ee03
authorH. Peter Anvin <hpa@zytor.com>
Fri, 13 Sep 2002 00:23:29 +0000 (13 00:23 +0000)
committerH. Peter Anvin <hpa@zytor.com>
Fri, 13 Sep 2002 00:23:29 +0000 (13 00:23 +0000)
tree64c2beb8d1757f266aa44174e2a6847b18c1d9aa
parent1fd2fa70b00802a8233e2da916bea5b3a3b430dd
Clean doc directory when making "make dist"
Makefile.in