Improve documentation of get_extension()

diff --git a/util.c b/util.c
index 1464f59fa8ba1839ab12ace7084a4fa5da42feff..37fe401072148aa3a01994632a007595babfd603 100644 (file)
--- a/util.c
+++ b/util.c
@@ -627,8 +627,9 @@ char *dirname(char *s)
 }
 
 /*
- * Return the file extension of a path as a pointer into path. If path has no
- * file extension, the empty string is returned.
+ * Return the file extension (including the dot) of a path as a pointer into
+ * path. If path has no file extension, the empty string and the end of path is
+ * returned.
  */
 const char *get_extension(const char *path)
 {