target for building Frama-C's API documentation
Merge branch 'master' of github.com:vprevosto/opam-repository