diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 10 | ||||
| -rw-r--r-- | doc/media/midr-mjpeg.mov | bin | 0 -> 3580563 bytes |
2 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) diff --git a/doc/media/midr-mjpeg.mov b/doc/media/midr-mjpeg.mov Binary files differnew file mode 100644 index 00000000..0f658d30 --- /dev/null +++ b/doc/media/midr-mjpeg.mov |