Regeneration of configure script
commit3e2a1beed3f4dbca2c85624472e9d463b13725bb
authordavidmichel <davidmichel@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 5 Jan 2010 14:16:35 +0000 (5 14:16 +0000)
committerdavidmichel <davidmichel@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 5 Jan 2010 14:16:35 +0000 (5 14:16 +0000)
tree38524327632a7665d7a2cbe15602f2215d4e55aa
parent7780430e6a1e7473886902c02517f4b2e90cc19e
Regeneration of configure script

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2903 64cb5145-927a-446d-8aed-2fb7b4773692
src/configure