diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-10-17 17:37:15 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-10-18 10:32:15 +0200 |
| commit | 317ae3b327d201530730ed2cce5f44e8763814d4 (patch) | |
| tree | 76f417fdb434d8b9c149dc2726aa902d6ef3df43 /Makefile.doc | |
| parent | fa1cb4a55262a1dced369ae6556265b968f4b9a3 (diff) | |
Removing output test for module qualification.
I do not know how to provide a proper test in 8.5, as the location on my
machine appears in the error printed when loading the file. Adding a Fail
on the End command does not help much either, because it simply does not
print anything.
Do not merge this commit in 8.6, we still want a test there.
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions