diff options
| author | Jens Seidel <jseidel> | 2007-07-11 22:19:18 +0000 |
|---|---|---|
| committer | Jens Seidel <jseidel> | 2007-07-11 22:19:18 +0000 |
| commit | a598f40b8db93f43a444d53a743903c46394e9ee (patch) | |
| tree | f6fc89a35021f482c3624e6079bf7a856fc87ec1 /Makefile.common | |
| parent | d832fce30de8ab39309ce2c01bff34693e9a5709 (diff) | |
Install SVG files (required in logos/) as well, thanks Ricky Zhou for the patch
CVS version numbers
Makefile.common: 1.88 -> 1.89
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index 708c9b006da..87362defd33 100644 --- a/Makefile.common +++ b/Makefile.common @@ -38,7 +38,7 @@ HTMLDESTFILES = $(sort $(foreach i,$(SUBLANG),\ endif OTHERFILES := $(wildcard *.ps.gz *.eps *.pdf *.css) -OTHERFILES += $(wildcard *.jpg *.jpeg *.gif *.png *.fig *.xcf *.xcf.gz *.ppm) +OTHERFILES += $(wildcard *.jpg *.jpeg *.gif *.png *.fig *.xcf *.xcf.gz *.ppm *.svg) OTHERDESTFILES := $(patsubst %,$(HTMLDIR)/%,$(OTHERFILES)) existing-SUBS := $(shell for dir in $(wildcard $(SUBS)) ''; do test -d $$dir && echo $$dir; done) |