From 505220f27dbdea7a12742dcd70fcfb1bb246daa5 Mon Sep 17 00:00:00 2001
From: Brian Warner <warner@lothar.com>
Date: Tue, 17 Feb 2009 21:22:12 -0700
Subject: [PATCH] docs/debian.txt: minor edit

---
 docs/debian.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/debian.txt b/docs/debian.txt
index 05385e1e..03e0f984 100644
--- 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
-- 
2.45.2