git://git.jankratochvil.net
/
www.jankratochvil.net.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
"de" translation discontinued as it is no longer updated.
[www.jankratochvil.net.git]
/
Makefile-head.am
diff --git
a/Makefile-head.am
b/Makefile-head.am
index
098112c
..
40656bc
100644
(file)
--- a/
Makefile-head.am
+++ b/
Makefile-head.am
@@
-28,12
+28,22
@@
noinst_DATA=
# Generally better behaviour but it requires GNU make. Harmless otherwise.
.DELETE_ON_ERROR:
# Generally better behaviour but it requires GNU make. Harmless otherwise.
.DELETE_ON_ERROR:
-%.html: %.html.pl $(top_srcdir)/My/Web.pm $(top_srcdir)/WebConfig.pm
- perl -I$(top_srcdir) >$@ $<
-
%.ppm: %.fig Makefile
%.ppm: %.fig Makefile
- fig2dev -L ppm -S4 -b10 $< $@
+ fig2dev -L ppm -S4 -m1.75 -b10 $< | pnmgamma 0.4 >$@
+
+%.gif: %.ppm
+ ppmquant -quiet 256 $< | ppmtogif -quiet -sort >$@
+
+# Prevent: make: Circular %.ppm <- %.gif dependency dropped.
+#%.ppm: %.gif
+# giftopnm $< >$@
%.png: %.ppm
pnmtopng $< >$@
%.png: %.ppm
pnmtopng $< >$@
+%.ppm: %.png
+ pngtopnm $< >$@
+
+%.png: %.dia $(top_srcdir)/dia-w.sh
+ $(top_srcdir)/dia-w.sh --nosplash --export $@ $<
+