using --disable-check configure option

Now the doc in generated before the code compils

Now make has a docs target to enforce docs generation