Add patches to make mpeg4ip compile with new ffmpeg headers location, thanks to Andrew Church in bug 218105.

Package-Manager: portage-2.2_rc1/cvs/Linux 2.6.25-hh5 i686

5 files changed, 327 insertions, 12 deletions

diff --git a/media-video/mpeg4ip/ChangeLog b/media-video/mpeg4ip/ChangeLog
index ead734df37a8..c04361b09070 100644
--- a/media-video/mpeg4ip/ChangeLog
+++ b/media-video/mpeg4ip/ChangeLog
@@ -1,6 +1,14 @@
 # ChangeLog for media-video/mpeg4ip
 # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/media-video/mpeg4ip/ChangeLog,v 1.60 2008/05/07 21:12:13 flameeyes Exp $
+# $Header: /var/cvsroot/gentoo-x86/media-video/mpeg4ip/ChangeLog,v 1.61 2008/06/21 21:24:35 yngwin Exp $
+
+*mpeg4ip-1.5.0.1-r5 (21 Jun 2008)
+
+  21 Jun 2008; Ben de Groot <yngwin@gentoo.org>
+  +files/mpeg4ip-1.5.0.1-avcodec_extern_c-2.patch,
+  +files/mpeg4ip-1.5.0.1-ffmpeg-headers.patch, +mpeg4ip-1.5.0.1-r5.ebuild:
+  Add patches to make mpeg4ip compile with new ffmpeg headers location,
+  thanks to Andrew Church in bug 218105.
 
   07 May 2008; Diego Pettenò <flameeyes@gentoo.org>
   +files/mpeg4ip-1.5.0.1+gcc-4.3.patch, mpeg4ip-1.5.0.1-r4.ebuild:
diff --git a/media-video/mpeg4ip/Manifest b/media-video/mpeg4ip/Manifest
index 8da25e30c8df..80a0b9cf1bda 100644
--- a/media-video/mpeg4ip/Manifest
+++ b/media-video/mpeg4ip/Manifest
@@ -1,11 +1,10 @@
------BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA1
-
 AUX mpeg4ip-1.4.1-disable-faac-test.patch 1149 RMD160 fabfac7262e34ad8ba0aea08938fa61ca9f2c389 SHA1 a84ae2a263374edbe104c682fd2db385ff1145ca SHA256 cbe9093e82530731e4dc53973c62e3879b7297199f52f25b7d0317cfe4c0d2ba
 AUX mpeg4ip-1.4.1-gcc41.patch 5332 RMD160 c23b8af9f13f6fdb5e65d20276a6632464c51416 SHA1 a8556b08254feaf7d24b79fc4fc00c3646f41a6e SHA256 a4ce2cfd0448c03cec335d46099fdca7b3aed7ea75395dce8b97e38f816a5219
 AUX mpeg4ip-1.5.0.1+gcc-4.3.patch 8090 RMD160 a3af421614d0d363bf4e24c9966c49a023495390 SHA1 8a4913da5ff135fb29ffee573263142ff7c17bac SHA256 ae85561605c8bc30bc83eedc892ee4d08a084b46e2d61561aabd9778193a23f0
 AUX mpeg4ip-1.5.0.1-as-needed.patch 4197 RMD160 3a55f0ce40c5e771df88307cf08b8f912cfb06e1 SHA1 161b787a7be3495e498d6896c57dfc472d442d37 SHA256 b95921dbae1c4b0964b90698605a7dff1886f792e347c3ad0518b705fcf25aa9
+AUX mpeg4ip-1.5.0.1-avcodec_extern_c-2.patch 2097 RMD160 f44705b584cad2f23a4c1567e28d46c70906e9bc SHA1 9b6467247a2f94b7f3ac34a63d95f77b9d11c07d SHA256 904befa8f246d58520fceccc55ddce1fb87ed8d831facab00f1652badc9f2879
 AUX mpeg4ip-1.5.0.1-avcodec_extern_c.patch 1207 RMD160 ded5c4e1953a834c1ef879d2cfebfd7ad8721a27 SHA1 df57a44a18738a089a1be913a00405455ca0a94b SHA256 04afaa301469a515d5a61973232dc70c0134bc976cef8e028d9f8726fa3f8a07
+AUX mpeg4ip-1.5.0.1-ffmpeg-headers.patch 3251 RMD160 54829d5a4d7ac2a1173dd7e7683550d12c9513cd SHA1 389a09c4c5e9515070ec634727340e2a9ef0694c SHA256 270d3c6c8f8e404cf2be4d33523bd5ee7ed34df76ce8585cffc3fdce3cda97fc
 AUX mpeg4ip-1.5.0.1-gcc42.patch 1282 RMD160 250ae882c6737a02f0d5eac18359f030faed5168 SHA1 9a5e1334476dca239c9a9290bcb9767cfcaa0f25 SHA256 a1a03d56865fd0d2989db980e546b445e740e5d5a3241ef2639e5def125c0ff7
 AUX mpeg4ip-1.5.0.1-lX11.patch 418 RMD160 931eac8523d5a5b594571887ab4792e9dbe544f3 SHA1 dc73ae37cb4569a7476c2cd25ba11cf96a6c0919 SHA256 c34ab2bf8304fa223a20c2baacb83cc5a2ec7ef427cba8db7318f21b0f280f5a
 AUX mpeg4ip-1.5.0.1-nasm-r.patch 975 RMD160 802ee1fb337b4002aad354d80b1bbd74ebb7b76f SHA1 e3635c89f78324a6e38e294138c1168c393e7391 SHA256 f376560ab041a09ba128a94872419e393e06820956643b56ece3a4324a9b49cc
@@ -15,12 +14,6 @@ DIST mpeg4ip-1.5.0.1.tar.gz 4826180 RMD160 fee5c21c17a470e6de349e07d233a1eb46b20
 EBUILD mpeg4ip-1.5.0.1-r1.ebuild 3653 RMD160 e850c23875bbd336a5e08ab08315f3405568d6b5 SHA1 26e43f8ee6d195c344a287472619ad6385866920 SHA256 395eef72fd6aa1b243f2f626f802ada8e01266906854d7e4cfb2d7fd92f8ab1a
 EBUILD mpeg4ip-1.5.0.1-r3.ebuild 3783 RMD160 eabb4509bf115487e55aedb5c550d85e956ad66c SHA1 17dfe9d4ef88c2e1dae85712a92665cb65eef14a SHA256 5142d2b9db7b911b9d3e57727908d3e575d63f938b0cdd94259735b88d951473
 EBUILD mpeg4ip-1.5.0.1-r4.ebuild 4127 RMD160 06c807602c41d3c587171c433c64bd6bb6f9e71e SHA1 d7076a75068fb0b9aa6edb79c390e9ee94f0e70d SHA256 3248781e640a65b851a3389708d6d0e36d31b6e9b6393ec73c7e3fbfd59428ea
-MISC ChangeLog 10076 RMD160 7df07ae27d6b7ed379c92f23eea2478c390d33af SHA1 29ad5c3be21df0730e03de19d36691803cabe4d7 SHA256 808a6f10da90edb23d081c6bf89a5f98f6225f5daac8cdd6568af30ed5814e98
+EBUILD mpeg4ip-1.5.0.1-r5.ebuild 4185 RMD160 97aea39caf53dc1988a372225a1d8c88936dfce1 SHA1 87d8c40d47197b7a91237facc4d7da24541a64f8 SHA256 4d5b3dfe76477a64c922ef1005e59ab1927f28db75e22fc26aff170664d9bd22
+MISC ChangeLog 10396 RMD160 b2a431a2c0683d2ed04e7967c8345b39e8782e58 SHA1 f84d1444cbadaeb728cb132f7b7c43dd3164d73a SHA256 a80dd0eddbc5a9dc6b622854f69613ef42ff6e7d7a5233a558b7af0c072b7c1c
 MISC metadata.xml 255 RMD160 5270d78482f975182f91bf12c1c35f02f1724b80 SHA1 ab610963bd3bcba3a951090a167f9fd5755b6cde SHA256 1711781f9f166223d7d8e3bda1083ed9e144627c3ccc3bbdbafbb59db0bfce1f
------BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.9 (GNU/Linux)
-
-iEYEARECAAYFAkgiGzMACgkQAiZjviIA2XjYcgCfSqRS7Na2muHCJQHsuV6uIGMg
-05cAnRjlKErQa5bmSSMykm1DD1hHkW5p
-=6Osv
------END PGP SIGNATURE-----
diff --git a/media-video/mpeg4ip/files/mpeg4ip-1.5.0.1-avcodec_extern_c-2.patch b/media-video/mpeg4ip/files/mpeg4ip-1.5.0.1-avcodec_extern_c-2.patch
new file mode 100644
index 000000000000..6fdbd4e6d7f3
--- /dev/null
+++ b/media-video/mpeg4ip/files/mpeg4ip-1.5.0.1-avcodec_extern_c-2.patch
@@ -0,0 +1,80 @@
+--- mpeg4ip-1.5.0.1/player/plugin/audio/ffmpeg/ffmpeg.h.unpatched	2008-06-21 14:21:58.000000000 +0900
++++ mpeg4ip-1.5.0.1/player/plugin/audio/ffmpeg/ffmpeg.h	2008-06-21 14:23:16.000000000 +0900
+@@ -25,9 +25,13 @@
+ #define __MPEG4IP_FFMPEG_H__ 1
+ #include "codec_plugin.h"
+ #ifdef HAVE_FFMPEG_INSTALLED
++extern "C" {
+ #include <libavcodec/avcodec.h>
++}
+ #else
++extern "C" {
+ #include <avcodec.h>
++}
+ #endif
+ 
+ DECLARE_CONFIG(CONFIG_USE_FFMPEG_AUDIO);
+--- mpeg4ip-1.5.0.1/player/plugin/video/ffmpeg/ffmpeg.h.unpatched	2008-06-21 14:21:58.000000000 +0900
++++ mpeg4ip-1.5.0.1/player/plugin/video/ffmpeg/ffmpeg.h	2008-06-21 14:23:26.000000000 +0900
+@@ -25,9 +25,13 @@
+ #define __MPEG4IP_FFMPEG_H__ 1
+ #include "codec_plugin.h"
+ #ifdef HAVE_FFMPEG_INSTALLED
++extern "C" {
+ #include <libavcodec/avcodec.h>
++}
+ #else
++extern "C" {
+ #include <avcodec.h>
++}
+ #endif
+ #include <mp4av.h>
+ 
+--- mpeg4ip-1.5.0.1/server/mp4live/audio_ffmpeg.h.unpatched	2007-11-24 09:07:06.000000000 +0100
++++ mpeg4ip-1.5.0.1/server/mp4live/audio_ffmpeg.h	2007-11-24 09:11:03.000000000 +0100
+@@ -24,9 +24,13 @@
+ 
+ #include "audio_encoder.h"
+ #ifdef HAVE_FFMPEG_INSTALLED
++extern "C" {
+ #include <libavcodec/avcodec.h>
++}
+ #else
++extern "C" {
+ #include <avcodec.h>
++}
+ #endif
+ #include <sdp.h>
+ 
+--- mpeg4ip-1.5.0.1/server/mp4live/video_ffmpeg.h.unpatched	2007-11-24 09:09:04.000000000 +0100
++++ mpeg4ip-1.5.0.1/server/mp4live/video_ffmpeg.h	2007-11-24 09:10:18.000000000 +0100
+@@ -24,9 +24,13 @@
+ 
+ #include "video_encoder.h"
+ #ifdef HAVE_FFMPEG_INSTALLED
++extern "C" {
+ #include <libavcodec/avcodec.h>
++}
+ #else
++extern "C" {
+ #include <avcodec.h>
++}
+ #endif
+ 
+ class CFfmpegVideoEncoder : public CVideoEncoder {
+--- mpeg4ip-1.5.0.1/server/mp4live/video_encoder_class.cpp.unpatched	2007-11-24 09:11:51.000000000 +0100
++++ mpeg4ip-1.5.0.1/server/mp4live/video_encoder_class.cpp	2007-11-24 09:12:17.000000000 +0100
+@@ -26,9 +26,13 @@
+ #include "video_util_filter.h"
+ #ifdef HAVE_FFMPEG
+ #ifdef HAVE_FFMPEG_INSTALLED
++extern "C" {
+ #include <libavcodec/avcodec.h>
++}
+ #else
++extern "C" {
+ #include <avcodec.h>
++}
+ #endif
+ #endif
+ 
diff --git a/media-video/mpeg4ip/files/mpeg4ip-1.5.0.1-ffmpeg-headers.patch b/media-video/mpeg4ip/files/mpeg4ip-1.5.0.1-ffmpeg-headers.patch
new file mode 100644
index 000000000000..85790f118559
--- /dev/null
+++ b/media-video/mpeg4ip/files/mpeg4ip-1.5.0.1-ffmpeg-headers.patch
@@ -0,0 +1,74 @@
+diff -urN mpeg4ip-1.5.0.1-orig/configure.in mpeg4ip-1.5.0.1/configure.in
+--- mpeg4ip-1.5.0.1-orig/configure.in	2006-06-09 04:15:16.000000000 +0900
++++ mpeg4ip-1.5.0.1/configure.in	2008-06-21 13:44:38.000000000 +0900
+@@ -495,8 +495,8 @@
+         AC_DEFINE(HAVE_FFMPEG_INSTALLED, 1, [defined if ffmpeg is installed])
+         FFMPEG_INC=
+         FFMPEG_LIB="-lavcodec -lz $ffmpeg_add_libs"
+-        AC_CHECK_TYPES([AVRational], , , [#include <ffmpeg/avcodec.h>])
+-	AC_CHECK_MEMBERS(AVCodecContext.time_base, , , [#include <ffmpeg/avcodec.h>])
++        AC_CHECK_TYPES([AVRational], , , [#include <libavcodec/avcodec.h>])
++	AC_CHECK_MEMBERS(AVCodecContext.time_base, , , [#include <libavcodec/avcodec.h>])
+         AC_DEFINE(HAVE_FFMPEG, 1, [enable ffmpeg for mp4live])
+      fi
+   fi
+diff -urN mpeg4ip-1.5.0.1-orig/player/plugin/audio/ffmpeg/ffmpeg.h mpeg4ip-1.5.0.1/player/plugin/audio/ffmpeg/ffmpeg.h
+--- mpeg4ip-1.5.0.1-orig/player/plugin/audio/ffmpeg/ffmpeg.h	2004-10-12 06:26:46.000000000 +0900
++++ mpeg4ip-1.5.0.1/player/plugin/audio/ffmpeg/ffmpeg.h	2008-06-21 13:45:35.000000000 +0900
+@@ -25,7 +25,7 @@
+ #define __MPEG4IP_FFMPEG_H__ 1
+ #include "codec_plugin.h"
+ #ifdef HAVE_FFMPEG_INSTALLED
+-#include <ffmpeg/avcodec.h>
++#include <libavcodec/avcodec.h>
+ #else
+ #include <avcodec.h>
+ #endif
+diff -urN mpeg4ip-1.5.0.1-orig/player/plugin/video/ffmpeg/ffmpeg.h mpeg4ip-1.5.0.1/player/plugin/video/ffmpeg/ffmpeg.h
+--- mpeg4ip-1.5.0.1-orig/player/plugin/video/ffmpeg/ffmpeg.h	2005-04-06 03:04:46.000000000 +0900
++++ mpeg4ip-1.5.0.1/player/plugin/video/ffmpeg/ffmpeg.h	2008-06-21 13:47:48.000000000 +0900
+@@ -25,7 +25,7 @@
+ #define __MPEG4IP_FFMPEG_H__ 1
+ #include "codec_plugin.h"
+ #ifdef HAVE_FFMPEG_INSTALLED
+-#include <ffmpeg/avcodec.h>
++#include <libavcodec/avcodec.h>
+ #else
+ #include <avcodec.h>
+ #endif
+diff -urN mpeg4ip-1.5.0.1-orig/server/mp4live/audio_ffmpeg.h mpeg4ip-1.5.0.1/server/mp4live/audio_ffmpeg.h
+--- mpeg4ip-1.5.0.1-orig/server/mp4live/audio_ffmpeg.h	2005-09-15 08:15:42.000000000 +0900
++++ mpeg4ip-1.5.0.1/server/mp4live/audio_ffmpeg.h	2008-06-21 13:48:21.000000000 +0900
+@@ -24,7 +24,7 @@
+ 
+ #include "audio_encoder.h"
+ #ifdef HAVE_FFMPEG_INSTALLED
+-#include <ffmpeg/avcodec.h>
++#include <libavcodec/avcodec.h>
+ #else
+ #include <avcodec.h>
+ #endif
+diff -urN mpeg4ip-1.5.0.1-orig/server/mp4live/video_encoder_class.cpp mpeg4ip-1.5.0.1/server/mp4live/video_encoder_class.cpp
+--- mpeg4ip-1.5.0.1-orig/server/mp4live/video_encoder_class.cpp	2006-03-11 06:40:57.000000000 +0900
++++ mpeg4ip-1.5.0.1/server/mp4live/video_encoder_class.cpp	2008-06-21 13:48:31.000000000 +0900
+@@ -26,7 +26,7 @@
+ #include "video_util_filter.h"
+ #ifdef HAVE_FFMPEG
+ #ifdef HAVE_FFMPEG_INSTALLED
+-#include <ffmpeg/avcodec.h>
++#include <libavcodec/avcodec.h>
+ #else
+ #include <avcodec.h>
+ #endif
+diff -urN mpeg4ip-1.5.0.1-orig/server/mp4live/video_ffmpeg.h mpeg4ip-1.5.0.1/server/mp4live/video_ffmpeg.h
+--- mpeg4ip-1.5.0.1-orig/server/mp4live/video_ffmpeg.h	2005-09-09 02:40:36.000000000 +0900
++++ mpeg4ip-1.5.0.1/server/mp4live/video_ffmpeg.h	2008-06-21 13:48:13.000000000 +0900
+@@ -24,7 +24,7 @@
+ 
+ #include "video_encoder.h"
+ #ifdef HAVE_FFMPEG_INSTALLED
+-#include <ffmpeg/avcodec.h>
++#include <libavcodec/avcodec.h>
+ #else
+ #include <avcodec.h>
+ #endif
diff --git a/media-video/mpeg4ip/mpeg4ip-1.5.0.1-r5.ebuild b/media-video/mpeg4ip/mpeg4ip-1.5.0.1-r5.ebuild
new file mode 100644
index 000000000000..427ad9923e53
--- /dev/null
+++ b/media-video/mpeg4ip/mpeg4ip-1.5.0.1-r5.ebuild
@@ -0,0 +1,160 @@
+# Copyright 1999-2008 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/media-video/mpeg4ip/mpeg4ip-1.5.0.1-r5.ebuild,v 1.1 2008/06/21 21:24:35 yngwin Exp $
+
+WANT_AUTOMAKE="1.9"
+
+inherit eutils multilib autotools
+
+DESCRIPTION="MPEG 4 implementation library"
+HOMEPAGE="http://www.mpeg4ip.net/"
+SRC_URI="mirror://sourceforge/${PN}/${P}.tar.gz"
+LICENSE="MPL-1.1 LGPL-2 GPL-2 LGPL-2.1 BSD UCL MPEG4"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE="ipv6 mmx v4l2 xvid nas alsa esd arts ffmpeg a52 mpeg2 lame aac id3 player mp4live x264"
+
+RDEPEND=" media-libs/libsdl
+	player? (
+		>=x11-libs/gtk+-2
+		ffmpeg? ( >=media-video/ffmpeg-0.4.7 )
+		mpeg2? ( media-libs/libmpeg2 )
+		id3? ( media-libs/libid3tag )
+		a52? ( media-libs/a52dec )
+	)
+	xvid? ( >=media-libs/xvid-0.9.8 )
+	mp4live? (
+		>=x11-libs/gtk+-2
+		lame? ( >=media-sound/lame-3.92 )
+		aac? ( >=media-libs/faac-1.24-r1 )
+		ffmpeg? ( >=media-video/ffmpeg-0.4.7 )
+		x264? ( media-libs/x264 )
+	)
+	nas? ( media-libs/nas x11-libs/libXt )
+	alsa? ( media-libs/alsa-lib )
+	arts? ( kde-base/arts )
+	esd? ( media-sound/esound )
+	=media-libs/libmp4v2-1.5.0.1*
+	!<media-libs/faad2-2.0-r9 "
+
+DEPEND="${RDEPEND}
+	>=x11-libs/gtk+-2
+	media-libs/alsa-lib
+	>=dev-libs/glib-2
+	dev-util/pkgconfig
+	player? ( mmx? ( >=dev-lang/nasm-0.98.19 ) )"
+
+pkg_setup() {
+	if ! built_with_use media-libs/libsdl X;
+	then
+		eerror "media-libs/libsdl does not has X support"
+		eerror "You need to rebuild media-libs/libsdl with USE=X"
+		die
+	fi
+}
+
+src_unpack() {
+	unpack ${A}
+
+	cd "${S}"
+	epatch "${FILESDIR}/mpeg4ip-1.4.1-disable-faac-test.patch"
+	epatch "${FILESDIR}/${P}-x264.patch"
+	epatch "${FILESDIR}/mpeg4ip-1.5.0.1-newffmpeg.patch"
+	epatch "${FILESDIR}/mpeg4ip-1.5.0.1-ffmpeg-headers.patch"
+	epatch "${FILESDIR}/mpeg4ip-1.5.0.1-lX11.patch"
+	epatch "${FILESDIR}/mpeg4ip-1.5.0.1-as-needed.patch"
+	epatch "${FILESDIR}/${P}-gcc42.patch"
+	epatch "${FILESDIR}/${P}-nasm-r.patch"
+	epatch "${FILESDIR}/mpeg4ip-1.5.0.1-avcodec_extern_c-2.patch"
+	epatch "${FILESDIR}/${P}+gcc-4.3.patch"
+
+	find "${S}" -name Makefile.am -print0 | xargs -0 \
+		sed -i -e 's:-Werror::'
+
+	find "${S}" -name configure.in -print0 | xargs -0 \
+		sed -i -e 's:-Werror::'
+
+	eautoreconf
+}
+
+src_compile() {
+	local myconf
+	myconf=" --datadir=/usr/share/mpeg4ip
+			$(use_enable ipv6)
+			$(use_enable ppc)
+			$(use_enable player)
+			$(use_enable mp4live)
+			$(use_enable xvid)
+			$(use_enable nas)
+			$(use_enable esd)
+			$(use_enable alsa)
+			$(use_enable arts)
+			--disable-srtp" # need ot add libsrtp to portage
+
+	# Those are possible for both player and mp4live
+	if use player || use mp4live ; then
+		myconf="${myconf} --enable-gtk-glib
+			$(use_enable ffmpeg)"
+	fi
+
+	# Those are only relevant for the player
+	use player && myconf="${myconf}
+			$(use_enable mmx)
+			$(use_enable a52 a52dec)
+			$(use_enable mpeg2 mpeg2dec)
+			$(use_enable id3 id3tags)"
+	use player || myconf="${myconf}
+			--disable-a52
+			--disable-mmx
+			--disable-mpeg2dec
+			--disable-id3tags"
+
+	# those can only be used for mp4live
+	use mp4live && myconf="${myconf}
+			$(use_enable v4l2)
+			$(use_enable lame mp3lame)
+			$(use_enable aac faac)
+			$(use_enable x264)"
+			# $(use_enable alsa mp4live-alsa)
+	use mp4live || myconf="${myconf}
+			--disable-v4l2
+			--disable-mp3lame
+			--disable-faac
+			--disable-mp4live-alsa
+			--disable-x264"
+
+	./bootstrap --prefix=/usr \
+		--host=${CHOST} \
+		--mandir=/usr/share/man \
+		--infodir=/usr/share/info \
+		--datadir=/usr/share \
+		--sysconfdir=/etc \
+		--libdir=/usr/$(get_libdir) \
+		--localstatedir=/var/lib \
+		--disable-warns-as-err \
+		--enable-server \
+		${EXTRA_ECONF} \
+		${myconf} || die "configure failed"
+
+	sed -i -e 's:-Werror::' common/video/iso-mpeg4/src/Makefile || die "sed failed"
+
+	emake || die "make failed"
+}
+
+src_install () {
+	make install DESTDIR="${D}" || die "make install failed"
+
+	rm -f "${D}"/usr/include/mp4.h
+	rm -f "${D}"/usr/$(get_libdir)/libmp4v2*
+
+	dodoc doc/MPEG4IP_Guide.pdf doc/*txt AUTHORS TODO
+
+	dohtml doc/*.html FEATURES.html || die
+
+	docinto ietf
+	dodoc doc/ietf/*.txt || die
+
+	docinto mcast
+	dodoc doc/mcast/mcast.txt doc/mcast/mcast_example doc/mcast/playlist_example || die
+
+}