diff options
Diffstat (limited to 'pic_pdf_compatible.mk')
| -rw-r--r-- | pic_pdf_compatible.mk | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pic_pdf_compatible.mk b/pic_pdf_compatible.mk new file mode 100644 index 0000000..259b567 --- /dev/null +++ b/pic_pdf_compatible.mk @@ -0,0 +1,27 @@ +# -*- make -*- + +CLEAN_TARGETS += clean_pdf_compatible +REAL_CLEAN_TARGETS += real_clean_pdf_compatible + +pdf_compatible_files = \ + $(wildcard *.pdf) \ + $(wildcard *.png) \ + $(wildcard *.jpg) + +copied_pdf_compatible_files = $(pdf_compatible_files:%=$(pics_destdir)/%) + +copy_pdf_compatible_files: dest_dir_pdf_compatible $(copied_pdf_compatible_files) + +$(copied_pdf_compatible_files): $(pics_destdir)/% : % + $(INSTALL) -m 0644 $< $@ + +clean_pdf_compatible: + +real_clean_pdf_compatible: +ifneq ($(strip $(copied_pdf_compatible_files)),) + rm -f $(copied_pdf_compatible_files) +endif + +dest_dir_pdf_compatible: + $(INSTALL) -d -m 0755 $(pics_destdir) + |