-
Akim Demaille authored
* configure.ac (DOCDIR): Export it. * bin/vcsn.in (config, vcsn_doc): New. Use them.
6d8a67f9
To find the state of this project's repository at the time of any of these versions, check out the tags.
* configure.ac (DOCDIR): Export it. * bin/vcsn.in (config, vcsn_doc): New. Use them.