#
# regenerates the file given as command line argument by running config.status
# (the file is supposed to be generated by configure script)
#
# regenerates the file given as command line argument by running config.status
# (the file is supposed to be generated by configure script)