# HG changeset patch
# User wolfgang.scherer@gmx.de
# Date 2012-03-31 14:41:15
# Node ID 929a09a486f884ecf63d447c5bf7aaa138100598
# Parent  22d7bf985c6c9951e8bfb9001614a9684a3d4544

doc/Makefile: install images also.

diff --git a/doc/Makefile b/doc/Makefile
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -8,6 +8,7 @@ base_dir=$(shell pwd)
 INPUTS =
 TXTS = 
 HTML_TXTS = 
+JPGS = 
 EXTRA_DIST =
 CLEANFILES =
 
@@ -17,6 +18,11 @@ HTML_TXTS += index.txt
 HTML_TXTS += README-GFDL.txt
 HTML_TXTS += README-COPYING.txt
 
+JPGS += ws-vacation.jpg
+JPGS += ws-vacation-t.jpg
+JPGS += ws-vacation-user.jpg
+JPGS += ws-vacation-user-t.jpg
+
 # use cp for Windows
 LN_S = cp
 LN_S = ln -s
@@ -33,6 +39,7 @@ DISTFILES += Makefile
 DISTFILES += $(TXTS)
 DISTFILES += $(TXT_PDFS)
 DISTFILES += $(TXT_HTMLS)
+DISTFILES += $(JPEGS)
 DISTFILES += $(EXTRA_DIST)
 
 %: %.in
@@ -76,6 +83,11 @@ install: all
 	    echo "cp $$file $(install_dir)/";		\
 	    cp $$file $(install_dir)/;			\
 	done;						\
+	list='$(JPGS)'; test -z "$$list" ||		\
+	for file in $$list; do				\
+	    echo "cp $$file $(install_dir)/";		\
+	    cp $$file $(install_dir)/;			\
+	done;						\
 	)						\
 	)