Hi Edwin,

> possible additions to the Makefile (INSTALL instructions sensitive) :
> 
>  # Clean up
>  clean:
>         rm -f *.o
> +       rm -f ../lib/ht
> +       rm -f ../lib/ext

That's right. It is not absolutely necessary, though, as just removing
'*.o' will trigger a complete rebuild anyway. If we include the
libraries, then we should also include all other targets, which would
make things harder to maintain and keep in sync.

Cheers,
- Alex
-- 
UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe

Reply via email to