Shorten autogen.sh script
commitd1d9b376306edb77632968cbbd7dfa456f00046c
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 5 Jan 2017 20:04:00 +0000 (5 12:04 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 5 Jan 2017 20:05:27 +0000 (5 12:05 -0800)
tree8173f9aaae2ca8e6ced9dc4a2eb8d4454dfc04a0
parentade6a024c80dbb0b66d9d2e10ccd350618036e78
Shorten autogen.sh script

* autogen.sh: Use a shorter script, as some 'sed' implementations
mishandle long scripts.
autogen.sh