mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-02-20 13:06:23 +00:00
Minor neaten to makefile.
Original commit message from CVS: Minor neaten to makefile.
This commit is contained in:
parent
1ad129fd31
commit
be6f808666
1 changed files with 5 additions and 2 deletions
|
@ -42,8 +42,11 @@ PDFFILES=gstreamer-manual.pdf
|
||||||
PSFILES=gstreamer-manual.ps
|
PSFILES=gstreamer-manual.ps
|
||||||
|
|
||||||
|
|
||||||
htmldocs: gstreamer-manual/gstreamer.html
|
htmldocs: gstreamer-manual/gstreamer.html gstreamer-manual/images
|
||||||
ln -s ../images gstreamer-manual || true
|
|
||||||
|
gstreamer-manual/images:
|
||||||
|
ln -s ../images gstreamer-manual
|
||||||
|
|
||||||
htmldist:
|
htmldist:
|
||||||
@if [ -r gstreamer-manual/gstreamer.html ] ; then \
|
@if [ -r gstreamer-manual/gstreamer.html ] ; then \
|
||||||
echo "Adding HTML manual to distribution" ; \
|
echo "Adding HTML manual to distribution" ; \
|
||||||
|
|
Loading…
Reference in a new issue