Tree @
4f9eb769-4fc1-4501-a25b-c9152348293f/main
(
Download .tar.gz
)
bps
config
debian
doc
langc
Library
misc
noweb
ocaml
script
support
testsuite
texmf
www
.gitignore
.travis.yml
aclocal.m4
AUTHORS
configure.ac
COPYING
COPYING-FR
INDEX.md
INSTALL.bmake.md
INSTALL.md
Makefile
Makefile.config.in
README.md
History of Makefile.config.in
@
4f9eb769-4fc1-4501-a25b-c9152348293f/main
Put the version in the main Makefile
Michael Grünewald
9 years ago
Rename adequately the configuration file
Michael Grünewald
9 years ago