diff --git a/hdt-lib/tools/.gitignore b/hdt-lib/tools/.gitignore
index aa0cae01..42dac8ed 100644
--- a/hdt-lib/tools/.gitignore
+++ b/hdt-lib/tools/.gitignore
@@ -3,3 +3,5 @@ hdtInfo
 hdtSearch
 rdf2hdt
 replaceHeader
+modifyHeader
+searchHeader