# regenerates the file given as command line argument by running config.status
# (the file is supposed to be generated by configure script)
#
-# Version: $Id$
# Author: VZ
################################################################################