help.pdf: fix tools.pdf name

diff --git a/extra/help/pdf/pdf.factor b/extra/help/pdf/pdf.factor
index e88af51abbdd778f92082a7922e52a304dad83e7..60fe1da987a992a57117044156b5a552a87f95cd 100644 (file)
--- a/extra/help/pdf/pdf.factor
+++ b/extra/help/pdf/pdf.factor
@@ -55,7 +55,7 @@ PRIVATE>
     "handbook-system-reference" "system.pdf" article-pdf ;
 
 : tools-pdf ( -- )
-    "handbook-tools-reference" "tools" article-pdf ;
+    "handbook-tools-reference" "tools.pdf" article-pdf ;
 
 : index-pdf ( -- )
     {