cpm docu spec added

6fe1ad2d · Michael Hanus · 5d243176 · 6fe1ad2d
Commit 6fe1ad2d authored Jun 04, 2017 by Michael Hanus
--- a/cpm/0.2.0/package.json
+++ b/cpm/0.2.0/package.json
@@ -29,6 +29,10 @@
        "src-dir": "src",
        "modules": [ "CPM.Package", "CPM.Resolution", "CPM.LookupSet" ]
    },
+    "documentation": {
+        "src-dir": "docs",
+        "main": "manual.tex"
+    },
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/cpm.git",
        "tag": "$version"