projects / platform / upstream / gstreamer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22cf61b) | patch
docs/manuals.mak: Use $(MAKE) instead of make to fix the build if GNU make is called...
authorSebastian Dröge <slomo@circular-chaos.org>
Sun, 20 Jan 2008 17:08:54 +0000 (17:08 +0000)
committerSebastian Dröge <slomo@circular-chaos.org>
Sun, 20 Jan 2008 17:08:54 +0000 (17:08 +0000)
commit60582e32d46552aaceddb8f065d37fee1d80ccf6
treeac2c832ffa3f1e2133a7a28c92d7eb82157e95f8tree | snapshot
parent22cf61b56ebdba124eb9af936d6802a62eebb1f5commit | diff
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.
ChangeLog diff | blob | history
docs/manuals.mak diff | blob | history
Domain: Multimedia / Media Common;