put datalog doc in a proper subdir