diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 3b722c4d6a..944bedc482 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2005-05-12  Eli Zaretskii  <eliz@gnu.org>
+
+	* observer.sh (texi) [DJGPP]: If the file name includes a colon,
+	convert it to the /dev/x/ form.
+
 2005-05-12  Mark Kettenis  <kettenis@gnu.org>
 
 	* solib.h (CLEAR_SOLIB, SOLIB_ADD)
diff --git a/gdb/observer.sh b/gdb/observer.sh
index fb92b63567..92ca1b5ed5 100755
--- a/gdb/observer.sh
+++ b/gdb/observer.sh
@@ -58,6 +58,13 @@ EOF
         ;;
 esac
 
+# We are about to set IFS=:, so DOS-style file names with a drive
+# letter and a colon will be in trouble.
+
+if test -n $DJGPP
+then
+     texi=`echo $texi | sed -e 's,^\([a-zA-Z]\):/,/dev/\1/,'`
+fi
 
 # generate a list of events that can be observed