fix by Helder Correia: configure complained about empty docs dir

4 files changed