Renamed ".binary" files

Use the .lgr extension for Lagrange binary files.

2 files changed, 3 insertions, 3 deletions

diff --git a/res/Embed.cmake b/res/Embed.cmake
index f21cfb14..3b65b36c 100644
--- a/res/Embed.cmake
+++ b/res/Embed.cmake
@@ -96,7 +96,7 @@ function (embed_make)
             endforeach (fn)
         else ()
             # Collect resources in a single binary file.
-            set (EMB_BIN ${CMAKE_CURRENT_BINARY_DIR}/resources.binary)
+            set (EMB_BIN ${CMAKE_CURRENT_BINARY_DIR}/resources.lgr)
             file (REMOVE ${EMB_BIN})
             list (LENGTH ARGV fileCount)            
             execute_process (COMMAND ${BINCAT_COMMAND} ${EMB_BIN} ${ARGV}
diff --git a/res/about/help.gmi b/res/about/help.gmi
index 86fec802..7260aeb5 100644
--- a/res/about/help.gmi
+++ b/res/about/help.gmi
@@ -344,10 +344,10 @@ Other Unix : ~/.config/lagrange/
 * bindings.txt
 * bookmarks.txt
 * feeds.txt
-* idents.binary and idents/
+* idents.lgr and idents/
 * mimehooks.txt
 * prefs.cfg
-* state.binary
+* state.lgr
 * trusted.txt
 * visited.txt