mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2025-01-09 08:55:33 +00:00
Code Issues 1 Projects Releases Wiki Activity

Fix build problem when don't have db2html, or a directory to put the manual in: was trying to make a symlink in the n...

Browse source 
Original commit message from CVS:
Fix build problem when don't have db2html, or a directory to put the manual in:
was trying to make a symlink in the non-existant directory, and causing the
build to stop.
This commit is contained in:
Richard Boulton 2001-01-14 22:25:43 +00:00
parent a4e3d04aeb
commit 15f298e7cb
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
docs/manuals.mak
View file

@ -11,11 +11,12 @@ PDFFILES=$(manualname).pdf
PSFILES=$(manualname).ps
if HAVE_FIG2DEV_PNG
$(manualname)/$(htmlname): $(sgml_files) $(png_files)
PNGS_TO_MAKE=$(png_files)
else
$(manualname)/$(htmlname): $(sgml_files)
PNGS_TO_MAKE=
endif
$(manualname)/$(htmlname): $(sgml_files) $(PNGS_TO_MAKE)
if HAVE_DB2HTML
db2html $(manualname).sgml
else
@ -54,7 +55,11 @@ images/%.eps : %.fig images
endif
$(manualname)/images:
@ln -sf ../images $(manualname)/images
@if [ -d $(manualname) ] ; then \
if [ -d images ] ; then \
ln -sf ../images $(manualname)/images ;\
fi \
fi
htmldocs: $(manualname)/$(htmlname) $(manualname)/images
htmldist: htmldocs