autotools.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Fri, 14 Oct 2011 00:52:40 +0300
changeset 1035 2e8f84478a07
parent 837 d5104ac025fa
permissions -rw-r--r--
Isabelle.

-*- mode: outline; coding: utf-8 -*-

* Regenerate all autotools confetti.

  $ autoreconf