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