From cd720cd10df4ff05551a80bb719905925456a933 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 24 Apr 2011 00:03:22 -0700 Subject: [PATCH 1/1] add examples targets to Makefile --- Makefile | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/Makefile b/Makefile index c77a3dd..4b08c02 100644 --- a/Makefile +++ b/Makefile @@ -29,6 +29,18 @@ src/categories/src: clean: rm -rf build +examples/test.pdf: + ../../../inplace/bin/ghc-stage2 GArrowTikZ.hs + ./GArrowTikZ > test.tex + pdflatex test.tex + open test.pdf + +examples/doc/index.html: + mkdir -p examples/doc + haddock --html Unify.hs + open Unify.html + + merged: mkdir -p .temp cd src; for A in *.v; do cat $$A | grep -v '^Require Import' > ../.temp/`echo $$A | sed s_\\\\.v_._`; done -- 1.7.10.4