Fix a typo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/docs/dev.md b/docs/dev.md
index e2ef5573cd32b3087a3d275cd65443b60546dba0..fdfa9664f3ae3828685f3c43e7f98a82a73a115f 100644 (file)
--- a/docs/dev.md
+++ b/docs/dev.md
@@ -65,7 +65,7 @@ If you Do Something to the output from cargo, you should `rm stamp/*`,
 since the `Makefile` won't notice, otherwise, that the relevant cargo
 rune(s) need to be re-run.  Needlessly deleting all the stamp files
 wastes only a handful of seconds (on my stupidly fast laptop).
-Deleting the xtamp files is not needed if you simply edit Rust source
+Deleting the stamp files is not needed if you simply edit Rust source
 files.