diff --git a/release_notes_18_05_00.md b/release_notes_18_05_00.md
index 56052b2..3aca4bb 100644
--- a/release_notes_18_05_00.md
+++ b/release_notes_18_05_00.md
@@ -1171,7 +1171,7 @@ Important notes:
 
 ## Documentation
 
-The Koha manual is maintained in DocBook. The home page for Koha 
+The Koha manual is maintained in Sphinx. The home page for Koha 
 documentation is 
 
 - [Koha Documentation](http://koha-community.org/documentation/)