Commit d2ef3f5bed77203bb8da5c5a0134a0dfa8c367d9

Stefano Lattarini 2011-11-22T11:52:40

fix: regenerate doc/Makefile