Tools updated

currycheck/package.json

@@ -20,6 +20,10 @@
           "modules": [ "ListProp", "SortSpec" ]
         }
     ],
+    "documentation": {
+        "src-dir": "docs",
+        "main": "main.tex"
+    },
     "source": {
         "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git",
         "tag": "$version"