prefix = /usr/local
bindir = $(prefix)/bin
sharedir = $(prefix)/share
mandir = $(sharedir)/man
man1dir = $(mandir)/man1

CFLAGS = --std=c99



Setup: Setup.lhs
	ghc --make Setup.lhs

mediawiki2latex: Setup
	./Setup configure
	./Setup build

clean:
	rm -f mediawiki2latex Setup

all: mediawiki2latex
 
install: all
	cp dist/build/mediawiki2latex/mediawiki2latex $(DESTDIR)$(bindir)
	cp man/man1/mediawiki2latex.1 $(DESTDIR)$(man1dir)

