--- /dev/null
+
+#include "cwrapper.h"
+#include "getLocation.h"
+#include <stddef.h>
+
+int main(int argc, char** argv) {
+ char *binDir;
+ char *exePath;
+
+ binDir = getExecutablePath();
+ exePath = mkString("%s/haddock.exe", binDir);
+
+ run(exePath, 0, NULL, argc - 1, argv + 1);
+}