diff options
| author | Luka Perkov <luka@openwrt.org> | 2013-02-26 16:16:33 +0000 |
|---|---|---|
| committer | Luka Perkov <luka@openwrt.org> | 2013-02-26 16:16:33 +0000 |
| commit | 8d1daccbbfe8338c2c9214059f35c64efaac139d (patch) | |
| tree | 618b6822371f39e6e0f69b5d5f6d7de9ee30f6e5 /tools/mpfr/Makefile | |
| parent | 0e17e9789f6f867f986466eff5f66ec9e9264696 (diff) | |
| download | upstream-8d1daccbbfe8338c2c9214059f35c64efaac139d.tar.gz upstream-8d1daccbbfe8338c2c9214059f35c64efaac139d.tar.bz2 upstream-8d1daccbbfe8338c2c9214059f35c64efaac139d.zip | |
[toolchain] gcc: don't build documentation
This closes #13039.
Signed-off-by: Luka Perkov <luka@openwrt.org>
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@35807 3c298f89-4303-0410-b956-a3cf2f4a3e73
Diffstat (limited to 'tools/mpfr/Makefile')
0 files changed, 0 insertions, 0 deletions