diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/Makefile b/doc/Makefile index 3f1c2f75..820e3d2d 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -99,14 +99,14 @@ externals-howto_clean: #------------------------------------------------------------------------------# # MEDIA MEDIA_NAME = media -media_install: $(manualsdir) - install -d $(manualsdir)/$(MEDIA_NAME) +media_install: $(pddocdir) + install -d $(pddocdir)/$(MEDIA_NAME) install -p $(doc_src)/media/*.* \ - $(manualsdir)/$(MEDIA_NAME) + $(pddocdir)/$(MEDIA_NAME) media_clean: - -rm -f -- $(manualsdir)/$(MEDIA_NAME)/*.* - -rmdir -- $(manualsdir)/$(MEDIA_NAME) + -rm -f -- $(pddocdir)/$(MEDIA_NAME)/*.* + -rmdir -- $(pddocdir)/$(MEDIA_NAME) |