• Alexandre Duret-Lutz's avatar
    org: add installation instructions · 2e34fa42
    Alexandre Duret-Lutz authored
    * doc/org/install.org: New file.
    * doc/Makefile.am: Add it.
    * doc/org/index.org: Link to it.
    * doc/org/setup.org: Add macro for
    various version numbers.
    * doc/org/tools.org: Update version number.
    * NEWS, README, bench/ltl2tgba/README, debian/control,
    debian/copyright: Update URLs to website.
    2e34fa42
Makefile.am 2.81 KB