make distclean

[Jason Thomas]

One thing I've noticed is that make distclean does no remove the
generated info files from the docs directory.

Should be an easy fix, or is the a reason for this.

-- 
Jason Thomas                           Phone:  +61 2 6257 7111
System Administrator  -  UID 0         Fax:    +61 2 6257 7311
tSA Consulting Group Pty. Ltd.         Mobile: 0418 29 66 81
1 Hall Street Lyneham ACT 2602         http://www.topic.com.au/

PGP signature