mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-10-06 02:32:23 +00:00
17 lines
671 B
Makefile
17 lines
671 B
Makefile
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:
|
|
cd ../gst && make
|
|
./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
|