diff --git a/tools/profiler/Makefile.in b/tools/profiler/Makefile.in index ece1c09a9a6..fdb3445dfa0 100644 --- a/tools/profiler/Makefile.in +++ b/tools/profiler/Makefile.in @@ -69,6 +69,8 @@ SHARED_LIBRARY_LIBS += \ $(NULL) export:: + # Avoid building libunwind documentation + $(topsrcdir)/tools/profiler/libunwind/dont_build_docs.sh $(DEPTH)/tools/profiler/libunwind/src/doc/Makefile $(call SUBMAKE,,libunwind/src) distclean:: diff --git a/tools/profiler/libunwind/dont_build_docs.sh b/tools/profiler/libunwind/dont_build_docs.sh new file mode 100755 index 00000000000..f77ff879970 --- /dev/null +++ b/tools/profiler/libunwind/dont_build_docs.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +# Edit the doc Makefile to just echo the commands +sed -e 's/latex2man/echo/' -e 's/pdflatex/echo/' -i "$1"