Simon Marchi e634076cdf Change way to skip building of gdb doc ... Instead of modifying the source files of the documentation, it's cleaner to replace the invocation to makeinfo to invoke "true". This will skip building of all the docs. Change-Id: I33a8ba7e1932433de48ab98d6cda3fda0bb09143 Signed-off-by: Simon Marchi <simon.marchi@polymtl.ca>		2015-06-22 15:34:19 -04:00
..
download-build-gdb.sh	Change way to skip building of gdb doc	2015-06-22 15:34:19 -04:00