mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-22 08:17:01 +00:00
docs/manuals.mak: Use $(MAKE) instead of make to fix the build if GNU make is called different. Fixes bug #510747.
Original commit message from CVS: * docs/manuals.mak: Use $(MAKE) instead of make to fix the build if GNU make is called different. Fixes bug #510747.
This commit is contained in:
parent
22cf61b56e
commit
60582e32d4
2 changed files with 9 additions and 3 deletions
|
@ -1,3 +1,9 @@
|
|||
2008-01-20 Sebastian Dröge <slomo@circular-chaos.org>
|
||||
|
||||
* docs/manuals.mak:
|
||||
Use $(MAKE) instead of make to fix the build if GNU make is
|
||||
called different. Fixes bug #510747.
|
||||
|
||||
2008-01-20 Tim-Philipp Müller <tim at centricular dot net>
|
||||
|
||||
* gst/gstplugin.c: (_gst_plugin_initialize):
|
||||
|
|
|
@ -94,7 +94,7 @@ $(BUILDDIR)/$(MAIN): $(XML) $(CSS) $(EXTRA_SRC)
|
|||
# xsltproc --nonet /usr/share/xml/docbook/stylesheet/nwalsh/html/docbook.xsl pwg.xml
|
||||
#
|
||||
html/index.html: $(BUILDDIR)/$(MAIN) $(PNG_BUILT) $(FIG_SRC)
|
||||
@make check-local
|
||||
@$(MAKE) check-local
|
||||
@echo "*** Generating HTML output ***"
|
||||
@-mkdir -p html
|
||||
@cp -f $(srcdir)/../image-png $(BUILDDIR)/image.entities
|
||||
|
@ -108,14 +108,14 @@ html/index.html: $(BUILDDIR)/$(MAIN) $(PNG_BUILT) $(FIG_SRC)
|
|||
cp $(PNG_BUILT) html/images || true
|
||||
|
||||
$(DOC).ps: $(BUILDDIR)/$(MAIN) $(EPS_BUILT) $(PNG_SRC) $(FIG_SRC)
|
||||
@make check-local
|
||||
@$(MAKE) check-local
|
||||
@echo "*** Generating PS output ***"
|
||||
@cp -f $(srcdir)/../image-eps $(BUILDDIR)/image.entities
|
||||
cd $(BUILDDIR) && docbook2ps -o .. $(MAIN)
|
||||
# export LC_PAPER=$(PAPER_LOCALE) && cd $(BUILDDIR) && xmlto ps -o .. $(MAIN)
|
||||
|
||||
$(DOC).pdf: $(DOC).ps
|
||||
@make check-local
|
||||
@$(MAKE) check-local
|
||||
@echo "*** Generating PDF output ***"
|
||||
@ps2pdf $(DOC).ps
|
||||
|
||||
|
|
Loading…
Reference in a new issue