docs/debian.txt: minor edit

diff --git a/docs/debian.txt b/docs/debian.txt
index 05385e1eafaed93d84aaa6378db729bf5f9917ce..03e0f9849c007d9a57bee2fac4c2de3f2fbb72a0 100644 (file)
--- a/docs/debian.txt
+++ b/docs/debian.txt
@@ -25,7 +25,7 @@ tools installed. The canonical list of these packages is in the
  python-dev
  python-twisted-core
 
-In addition, to use the "deb-PLATFORM-head" target, you will also need the
+In addition, to use the "deb-$PLATFORM-head" target, you will also need the
 "debchange" utility from the "devscripts" package, and the "fakeroot" package.
 
 Some recent platforms can be handled by using the targets for the previous