diff options
Diffstat (limited to 'pic_sources.mk')
| -rw-r--r-- | pic_sources.mk | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pic_sources.mk b/pic_sources.mk new file mode 100644 index 0000000..da23718 --- /dev/null +++ b/pic_sources.mk @@ -0,0 +1,23 @@ +# -*- make -*- + +TOPDIR ?= ../../.. +pics_destdir ?= ../../pics +MAKEINCLUDE_DIR ?= $(TOPDIR)/makefile_templates + +# sources_dirs = pics_pdf_compatible pics_svg_sources plots +sources_dirs = pics_pdf_compatible + +compile_pics_in_sources_dirs: $(sources_dirs) + +# $(sources_dirs)/Makefile: + # echo no $@ + +pics_pdf_compatible: pics_pdf_compatible/Makefile + $(MAKE) -C $@ $(MAKECMDGOALS) + + +pics_pdf_compatible/Makefile: + ln -s $(MAKEINCLUDE_DIR)/pic_pdf_compatible.mk $@ + + +.PHONY: $(sources_dirs) |