# @configure_input@
-# $Id: Makefile.in,v 1.96 2003-07-14 10:52:33 thib Exp $
+# $Id: Makefile.in,v 1.97 2003-07-14 12:05:32 thib Exp $
# The following should not be edited manually (use configure options)
# If you must do it, BEWARE : some of the following is also defined
ci: ciclean
@(find ./ -type f ! -regex '.*RCS.*' ! -regex "$(RCSNOCI)" \
- -exec ci -l {} \;)
+ -exec ci -l -Nver`echo $(VERSION) | tr '.' '_'` {} \;)
# ci the doc files
@(cd doc && make ci)