diff options
-rw-r--r-- | doc/Make.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Make.config b/doc/Make.config index 0c054aed98..eb85526cb1 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -51,5 +51,6 @@ define make-dirs @ if [ ! -d $(PS_INSTALL) ] ; then \ mkdir -p $(PS_INSTALL); \ fi + @ - cp $(SRCDIR)/oaronly.jpg $(WWW_INSTALL) endef |