1 files changed, 23 insertions, 0 deletions
diff --git a/eps.mk b/eps.mk
new file mode 100644
index 0000000..137cfd5
--- /dev/null
+++ b/eps.mk
@@ -0,0 +1,23 @@
+# -*- make -*-
+
+CLEAN_TARGETS      += 
+REAL_CLEAN_TARGETS += real_clean_eps_pdf_targets
+
+eps_sources  = $(wildcard *.eps)
+eps_pdf_targets  = $(eps_sources:%.eps=$(pics_destdir)/%.pdf)	
+
+
+copy_eps_pdf_targets: dest_dir_eps_pdf $(eps_pdf_targets)
+
+$(eps_pdf_targets): $(pics_destdir)/%.pdf : %.eps
+	epstopdf --autorotate=All --outfile=$@ $< 
+
+real_clean_eps_pdf_targets:
+ifneq ($(strip $(eps_pdf_targets)),)
+	rm -f $(eps_pdf_targets)
+endif
+
+dest_dir_eps_pdf: 
+	$(INSTALL) -d -m 0755 $(pics_destdir)
+
+.INTERMEDIATE: