Better management of documentation
commit555fb00b672c6e83ed9a301979d93e8b581e384b
authorCedric Bastoul <cedric.bastoul@unistra.fr>
Tue, 3 Jun 2014 15:52:43 +0000 (3 17:52 +0200)
committerCedric Bastoul <cedric.bastoul@unistra.fr>
Tue, 3 Jun 2014 15:52:43 +0000 (3 17:52 +0200)
tree66a7468a5f050d4963186d96dd45d4affe19fe0b
parent92c574400ff7b25203166761c2a076f407e1f4e5
Better management of documentation
Makefile.am
configure.ac
doc/Makefile.am