make: fix ghcid target
[doclang.git] / COPYING
2017-10-11 Julien MoutinhoAdd development files.