diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index f802ba88..149f24f6 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -105,6 +105,10 @@ media_install: $(pddocdir) install -d $(DESTDIR)$(pddocdir)/$(MEDIA_NAME) install -p $(doc_src)/media/*.* \ $(DESTDIR)$(pddocdir)/$(MEDIA_NAME) +# ln is cp on MinGW, so these won't work since the target files don't exist at +# the time that the media_install target is generally run. For MinGW, this is +# instead handled in packages/win32_inno/pd-inno.iss.in +ifneq (MINGW,$(findstring MINGW,$(UNAME))) # random sound files ln -s ../../doc/sound/bell.aiff \ $(DESTDIR)$(pddocdir)/$(MEDIA_NAME)/bell.aiff @@ -127,6 +131,7 @@ media_install: $(pddocdir) $(DESTDIR)$(pddocdir)/$(MEDIA_NAME)/homer.avi ln -s ../../extra/Gem/examples/data/anim-1.mov \ $(DESTDIR)$(pddocdir)/$(MEDIA_NAME)/anim-1.mov +endif media_clean: -rm -f -- $(DESTDIR)$(pddocdir)/$(MEDIA_NAME)/*.* |