2002-03-03 18:02:57 +00:00
|
|
|
EXTRA_DIST=gstreamer.devhelp gstreamer-libs.devhelp
|
|
|
|
|
|
|
|
|
|
devhelp: gstreamer.devhelp gstreamer-libs.devhelp
|
|
|
|
|
|
|
|
|
|
gstreamer.devhelp:
|
|
|
|
|
cd ../gst && make
|
|
|
|
|
./html2xml.py ../gst/html
|
|
|
|
|
sed 's/base=""/base="\/usr\/share\/doc\/gstreamer-devel-@VERSION@\/html\/gstreamer"/g' html.devhelp > gstreamer.devhelp
|
|
|
|
|
perl -i -p -e 's/name="html"/name="gstreamer"/' gstreamer.devhelp
|
|
|
|
|
rm html.devhelp
|
|
|
|
|
|
|
|
|
|
gstreamer-libs.devhelp:
|
2002-04-15 09:21:14 +00:00
|
|
|
cd ../libs && make
|
2002-03-03 18:02:57 +00:00
|
|
|
./html2xml.py ../libs/html
|
|
|
|
|
sed 's/base=""/base="\/usr\/share\/doc\/gstreamer-devel-@VERSION@\/html\/gstreamer-libs"/g' html.devhelp > gstreamer-libs.devhelp
|
|
|
|
|
perl -i -p -e 's/name="html"/name="gstreamer-libs"/' gstreamer-libs.devhelp
|
|
|
|
|
rm html.devhelp
|
