On 28/11/18 16:34, Emilio G. Cota wrote:
> Signed-off-by: Emilio G. Cota
Reviewed-by: Philippe Mathieu-Daudé
> ---
> docs/devel/build-system.txt | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/docs/devel/build-system.txt b/docs/devel/build-system.txt
> index 52501f2ad
Signed-off-by: Emilio G. Cota
---
docs/devel/build-system.txt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/devel/build-system.txt b/docs/devel/build-system.txt
index 52501f2ad9..f9fd27fab0 100644
--- a/docs/devel/build-system.txt
+++ b/docs/devel/build-system.txt
@@ -3