From b7d54c8b90b5bf34c5cd2416a27364fa1ac43356 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 17 Aug 2017 14:13:00 +0200
Subject: [PATCH] mention autcross in arch.tex

* doc/org/arch.tex: Add autcross.
* tests/sanity/bin.test: Make sure all binaries appear in arch.tex.
---
 doc/org/arch.tex      | 3 ++-
 tests/sanity/bin.test | 4 ++++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/org/arch.tex b/doc/org/arch.tex
index 1bcf2d76c..66c77713c 100644
--- a/doc/org/arch.tex
+++ b/doc/org/arch.tex
@@ -28,7 +28,8 @@
     \texttt{dstar2tgba}\\
     \texttt{ltlcross}\\
     \texttt{ltlgrind}\\
-    \texttt{ltldo}
+    \texttt{ltldo}\\
+    \texttt{autcross}
   };
   \node[cppbox=4.7cm,above right=0mm and 2mm of shcmd.south east] (libgen) {\texttt{libspotgen\strut}};
   \node[cppbox=2.5cm,above right=0mm and 2mm of libgen.south east] (buddy) {\texttt{libbddx\strut}};
diff --git a/tests/sanity/bin.test b/tests/sanity/bin.test
index 2572d9e06..5f35f4a40 100644
--- a/tests/sanity/bin.test
+++ b/tests/sanity/bin.test
@@ -71,6 +71,10 @@ do
                     exit_status=2
                 fi
             fi
+            if ! grep -q "{$binary" $top_srcdir/doc/org/arch.tex; then
+                echo "$binary does not occur in doc/org/arch.tex"
+                exit_status=2
+            fi
     esac
 done