# -*- sh -*-
# installation prefix
#
# This file is sourced by the Makefile (via sh) and must define PREFIX. A "make
# install" installs libraries and headers below
# $(DESTDIR)$(PREFIX) (usual convention for Debian packages, DESTDIR
# may be unset).
#

PREFIX=/usr/local
