-
Guillaume Melquiond authored
Generating the documentation was not working since the symbols read by why3doc in local files were not the ones that had been globalized from installed files.
18ce0213
Generating the documentation was not working since the symbols read by why3doc in local files were not the ones that had been globalized from installed files.