1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man/devtools.7.asciidoc b/doc/man/devtools.7.asciidoc
index 1bd118f..6b2d0c1 100644
--- a/doc/man/devtools.7.asciidoc
+++ b/doc/man/devtools.7.asciidoc
@@ -11,7 +11,7 @@ Description
 Devtools contains tools for package maintenance in Arch Linux. The toolset
 varies from tools for building packages in a clean chroot ('mkarchroot',...),
 packaging related tools for sonames ('sogrep', 'lddd') and tools for
-repository management such as ('archco')
+repository management such as ('pkgrepo')
 
 Programs
 --------