Hi,

I am not very good at writing "makefiles," but I suspect that, when we
do "realclean" (a prerequisite of "clean"), we should remove
$(HEADERS) too.

(in configs/Makerules)
----------------------------------------------------------------------
realclean:
	-$(RM) *.o *.a  .depfiles/*.d *.d
	-rmdir .depfiles
	-$(RM) *.client.cc *.client.c *.server.cc *.server.c *.multi.cc *.multi.c *.print.c $(RP2HEADERS)
	-$(RM) $(EXECUTABLES) $(LIBRARIES) $(TESTS) core
	-$(RM) chdrinstall rp2hdrinstall libinstall bininstall scriptinstall \
	      c_bin_install c_sbin_install s_bin_install s_sbin_install 
	-$(RM) *.l.c *.pt.c *.l.o *.pt.o
----------------------------------------------------------------------

(That is, $(RP2HEADERS) are removed, but not $(HEADERS), yet when we do
"hdrinstall," both of them will to be installed)
----------------------------------------------------------------------
hdrinstall: chdrinstall rp2hdrinstall

chdrinstall: $(HEADERS) 
ifdef HEADERS
	$(TOPDIR)/tools/our-install 644 $(INCLDIR) $?
	-touch chdrinstall
endif

rp2hdrinstall: $(RP2HEADERS)
ifdef RP2HEADERS
	$(TOPDIR)/tools/our-install 644 $(INCLDIR) $(RP2HEADERS)
	-touch rp2hdrinstall
endif
----------------------------------------------------------------------

I ask this question, because once I had the following problem.  In
coda-src/vicedep, I had an old vcrcommon.h, which never got updated
into include/ even though I ran "make clean".  The vcrcommon.h is one
of the $(HEADERS) files.  I have to manually removed the file
eventually.

(in coda-src/vicedep/Makefile)
----------------------------------------------------------------------
RP2HEADERS  = $(notdir ${RP2FILES:.rpc2=.h}) cml.h
HEADERS = venusioctl.h srv.h operations.h recov_vollog.h vcrcommon.h
----------------------------------------------------------------------

-- Clement

======================================================================
Yui-wah LEE (Clement)                         |    Tel: (852)-26098412
Department of Computer Science & Engineering, | Mobile: (852)-98421024 
The Chinese University of Hong Kong   | Real-time Msg.: 41792200 (ICQ)
WWW: www.cse.cuhk.edu.hk/~clement     | Email: clement_at_cse.cuhk.edu.hk
======================================================================