Commit ee4c30c1 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Documentation added

parent 40c283f9
......@@ -21,6 +21,10 @@
"src-dir": "examples",
"modules": [ "TestSpicey" ]
},
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/spicey.git",
"tag": "$version"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment