From 4b0c4c9c0dc07a7e0019a6c51d2d4a076ddf9d69 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Tue, 16 Jan 2018 14:04:05 +0100
Subject: [PATCH 1/3] Generate tags for Vi, for Emacs and with Global

---
 .gitignore | 8 ++++++++
 .globalrc  | 3 +++
 Makefile   | 9 +++++++++
 3 files changed, 20 insertions(+)
 create mode 100644 .globalrc

diff --git a/.gitignore b/.gitignore
index fee2a31cd..16fa70d77 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,11 @@ massif-*
 
 # CMake generates *.dir/ folders for in-tree builds (used by MSVC projects), ignore all of those:
 *.dir/
+
+# Editor navigation files:
+/GPATH
+/GRTAGS
+/GSYMS
+/GTAGS
+/TAGS
+/tags
diff --git a/.globalrc b/.globalrc
new file mode 100644
index 000000000..01b2ea5a3
--- /dev/null
+++ b/.globalrc
@@ -0,0 +1,3 @@
+default:\
+    :langmap=c\:.c.h.function:\
+
diff --git a/Makefile b/Makefile
index a0fcb2bc5..6014597a9 100644
--- a/Makefile
+++ b/Makefile
@@ -108,3 +108,12 @@ apidoc:
 apidoc_clean:
 	rm -rf apidoc
 endif
+
+## Editor navigation files
+C_SOURCE_FILES = $(wildcard include/*/*.h library/*.[hc] programs/*/*.[hc] tests/suites/*.function)
+tags: $(C_SOURCE_FILES)
+	ctags -o $@ $(C_SOURCE_FILES)
+TAGS: $(C_SOURCE_FILES)
+	etags -o $@ $(C_SOURCE_FILES)
+GPATH GRTAGS GSYMS GTAGS: $(C_SOURCE_FILES)
+	ls $(C_SOURCE_FILES) | gtags -f - --gtagsconf .globalrc

From 30dc1bf1efc0dd12c1202fa723a674f9244f3975 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Mon, 25 Feb 2019 22:49:09 +0100
Subject: [PATCH 2/3] Improve .gitignore grouping and documentation

---
 .gitignore | 19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

diff --git a/.gitignore b/.gitignore
index 16fa70d77..e13514319 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,17 @@
+# CMake build artifacts:
 CMakeCache.txt
 CMakeFiles
 CTestTestfile.cmake
 cmake_install.cmake
 Testing
+# CMake generates *.dir/ folders for in-tree builds (used by MSVC projects), ignore all of those:
+*.dir/
+# MSVC files generated by CMake:
+/*.sln
+/*.vcxproj
+/*.filters
+
+# Test coverage build artifacts:
 Coverage
 *.gcno
 *.gcda
@@ -10,19 +19,15 @@ Coverage
 # generated by scripts/memory.sh
 massif-*
 
-# MSVC files generated by CMake:
-/*.sln
-/*.vcxproj
-/*.filters
-
 # MSVC build artifacts:
 *.exe
 *.pdb
 *.ilk
 *.lib
 
-# CMake generates *.dir/ folders for in-tree builds (used by MSVC projects), ignore all of those:
-*.dir/
+# Python build artifacts:
+*.pyc
+
 
 # Editor navigation files:
 /GPATH

From 5f3387bf79ea46708dc1c7db9e21403d3c822443 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Mon, 25 Feb 2019 22:49:33 +0100
Subject: [PATCH 3/3] Ignore more generated files: seedfile, apidoc

---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index e13514319..789f57ee0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
+# Random seed file created by test scripts and sample programs
+seedfile
+
 # CMake build artifacts:
 CMakeCache.txt
 CMakeFiles
@@ -28,6 +31,8 @@ massif-*
 # Python build artifacts:
 *.pyc
 
+# Generated documentation:
+/apidoc
 
 # Editor navigation files:
 /GPATH