using --disable-check configure option
Now the doc in generated before the code compils
Now make has a docs target to enforce docs generation