Don't remove head.ps by mistake
commite23f305d2c8a36654d19cc3d3486ebb3bcee9c7c
authorH. Peter Anvin <hpa@zytor.com>
Tue, 14 May 2002 21:21:24 +0000 (14 21:21 +0000)
committerH. Peter Anvin <hpa@zytor.com>
Tue, 14 May 2002 21:21:24 +0000 (14 21:21 +0000)
tree3b1914726cb38cd9b5ba0e1c84a79abf41c278fa
parentc7a2652f4a5f07cdba76d71827e432e080b58693
Don't remove head.ps by mistake
doc/Makefile.in