You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
BUILDPATH:=$(shell find $$PUBSENGINE_ROOT/.stack-work/install|grep pkgdb$$|sed -e 's/^.*install.//g')
|
|
|
|
|
default: article
|
|
|
|
|
clean:
|
|
|
|
|
rm -rf _build
|
|
|
|
|
thesis:
|
|
|
|
|
rm -rf _build/auto
|
|
|
|
|
GHC_PACKAGE_PATH=${PUBSENGINE_ROOT}/.stack-work/install/${BUILDPATH}:${HOME}/.stack/snapshots/${BUILDPATH}:${GHC_PACKAGE_PATH} pubsEngine manuscript thesis
|
|
|
|
|
article:
|
|
|
|
|
rm -rf _build/auto
|
|
|
|
|
GHC_PACKAGE_PATH=${PUBSENGINE_ROOT}/.stack-work/install/${BUILDPATH}:${HOME}/.stack/snapshots/${BUILDPATH}:${GHC_PACKAGE_PATH} pubsEngine manuscript article
|
