diff --git a/ChangeLog b/ChangeLog
index c63c576..5cd0941 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,4 @@
-github commit
+github commit 080b4e4533c60b0ce2809242afa6bb1a324be0b1
 Author: Thiadmer Riemersma
 Date:   Wednesday 9 February 2022
 
diff --git a/readme.md b/readme.md
index 714751e..6d0a049 100644
--- a/readme.md
+++ b/readme.md
@@ -58,7 +58,8 @@ it appends its dependency list to the makefile again, rather than replacing the
 existing (and possibly outdated) dependency list.
 
 makedepend warns about an include file that it cannot locate, because it will
-skip this include file in the dependency list for the target.
+skip this include file in the dependency list for the target. See also the `-i`
+option.
 
 ### Keep dependencies separate from build rules