Makefile: install, install-doc & general update
commit43da466b006ac680f0f86ce98eeac9baa11e3838
authorG.raud <graud@gmx.com>
Mon, 1 Jul 2013 13:40:37 +0000 (1 15:40 +0200)
committerG.raud <graud@gmx.com>
Sun, 7 Jul 2013 06:49:29 +0000 (7 08:49 +0200)
tree0a9a1a67510a8c5484194cc343bb54b899cb428f
parent0287f665636f29b2851255b984a959decc81c287
Makefile: install, install-doc & general update

version.sh: new helper script to get the version number

install: use $(prefix) and $(DESTDIR)

install-doc: new target installing $(MANDOC), $(HTMLDOC)
Makefile
version.sh [new file with mode: 0755]