install manpage mp42ts.1

diff --git a/debian/patches/fix_makefile_install.patch b/debian/patches/fix_makefile_install.patch
index 364369ef6c1321c7e95fb6e2c70bf247408599da..e81fd6debabd51aaf1d8ef38c13224cefee99aae 100644 (file)
--- a/debian/patches/fix_makefile_install.patch
+++ b/debian/patches/fix_makefile_install.patch
@@ -1,6 +1,14 @@
 --- a/Makefile
 +++ b/Makefile
-@@ -149,7 +149,7 @@ endif
+@@ -140,6 +140,7 @@ ifneq ($(MP4BOX_STATIC),yes)
+ endif
+       $(INSTALL) -d "$(DESTDIR)$(mandir)"
+       $(INSTALL) -d "$(DESTDIR)$(mandir)/man1"
++      $(INSTALL) $(INSTFLAGS) -m 644 $(SRC_PATH)/doc/man/mp42ts.1 $(DESTDIR)$(mandir)/man1/MP42TS.1 
+       $(INSTALL) $(INSTFLAGS) -m 644 $(SRC_PATH)/doc/man/mp4box.1 $(DESTDIR)$(mandir)/man1/ 
+       $(INSTALL) $(INSTFLAGS) -m 644 $(SRC_PATH)/doc/man/mp4client.1 $(DESTDIR)$(mandir)/man1/ 
+       $(INSTALL) $(INSTFLAGS) -m 644 $(SRC_PATH)/doc/man/gpac.1 $(DESTDIR)$(mandir)/man1/
+@@ -149,7 +150,7 @@ endif
        $(INSTALL) $(INSTFLAGS) -m 644 $(SRC_PATH)/gui/gui.bt "$(DESTDIR)$(prefix)/share/gpac/gui/" 
        $(INSTALL) $(INSTFLAGS) -m 644 $(SRC_PATH)/gui/gui.js "$(DESTDIR)$(prefix)/share/gpac/gui/" 
        $(INSTALL) $(INSTFLAGS) -m 644 $(SRC_PATH)/gui/gwlib.js "$(DESTDIR)$(prefix)/share/gpac/gui/"