Add a sanity check to the new menu code.

Fail if both the new inline-navigation and the old page_user_docs menu modifications are triggered.
DynamoRIO · Mar 26, 2024 · 7742c5c · 7742c5c
1 parent a4563fd
commit 7742c5c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/api/docs/CMake_rundoxygen.cmake b/api/docs/CMake_rundoxygen.cmake
@@ -348,6 +348,9 @@ if (embeddable)
     if (js MATCHES "page_user_docs.js")
       # CMake 3.6+ guarantees the glob is sorted lexicographically, so we've already
       # seen navtreedata.js.
+      if (found_user_docs)
+        message(FATAL_ERROR "Found unexpected \"page_user_docs\" menu file")
+      endif ()
       set(found_user_docs ON)
       if (ext_entry)
         if (NOT string MATCHES "Disassembly Library")