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

cpm -> cypm

parent 0d75fe46
......@@ -20,8 +20,8 @@ managed by the Curry Package Manager CPM
Thus, to install the newest version of Spicey, use the following commands:
%
\begin{curry}
> cpm update
> cpm install spicey
> cypm update
> cypm install spicey
\end{curry}
%
This downloads the newest package, compiles it, and places
......
......@@ -10,7 +10,7 @@ WEBSERVERDIR = $(error "Define variable WEBSERVERDIR!")
export CURRYBIN=XXXCURRYBINXXX
# Executable of the Curry Package Manager CPM:
CPM := $(CURRYBIN)/cpm
CPM := $(CURRYBIN)/cypm
# The root directory of the sources of the Spicey application:
SRCDIR := $(CURDIR)/src
......
......@@ -9,7 +9,7 @@ IMPORTANT NOTES:
> make install
to install all packages required by this application
(where the executable `cpm` of the Curry Package Manager should
(where the executable `cypm` of the Curry Package Manager should
be in your path).
2. Before you deploy your web application, you should
......
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