Commit bf53f39b27bd44fef1166c9a5b652087cedfe780

sammy 2011-05-21T09:51:36

build: add a --disable-doc configure flag to disable building documentation.