mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-17 13:56:32 +00:00
22 lines
616 B
Makefile
22 lines
616 B
Makefile
EXTRA_DIST=html2xml.py
|
|
|
|
all-am: chmod devhelp
|
|
|
|
devhelp: gstreamer.devhelp gstreamer-libs.devhelp
|
|
|
|
chmod:
|
|
chmod +x html2xml.py
|
|
|
|
gstreamer.devhelp:
|
|
cd ../gst && make
|
|
sh html2xml.py ../gst/html
|
|
sed 's@base=""@base="@HTML_DIR@/gstreamer"@g' html.devhelp > gstreamer.devhelp
|
|
perl -i -p -e 's/name="html"/name="gstreamer"/' gstreamer.devhelp
|
|
rm html.devhelp
|
|
|
|
gstreamer-libs.devhelp:
|
|
cd ../libs && make
|
|
sh html2xml.py ../libs/html
|
|
sed 's@base=""@base="@HTML_DIR@/gstreamer-libs"@g' html.devhelp > gstreamer-libs.devhelp
|
|
perl -i -p -e 's/name="html"/name="gstreamer-libs"/' gstreamer-libs.devhelp
|
|
rm html.devhelp
|