Commit 1d957fb8 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Makefile for tools/ui fixed

parent 8c12f31f
......@@ -5,7 +5,7 @@ University of Kiel and Portland State University
This directory contains:
Some information about the current release and changes w.r.t. previous
releases of PAKCS.
......@@ -13,7 +13,7 @@ RESOURCES.html:
A description of various resources related to PAKCS and Curry.
This is helpful for new users.
Instructions to install the system.
......@@ -19,7 +19,7 @@ pl:
# generate all Prolog translations:
.curry/pakcs/ %.curry
rm -f $@ && "${PAKCS}" -q -c $*
rm -f $@ && "${PAKCS}" --quiet :compile $* :quit
# clean all generated files
.PHONY: clean
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