From c946331db4c558716adfd1cc9815cb3a6a77aaa9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pekka=20Kl=C3=A4rck?= <peke@iki.fi>
Date: Fri, 23 Dec 2022 15:46:11 +0200
Subject: [PATCH] Fix instructions ('doc' -> 'docs')

---
 BUILD.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/BUILD.rst b/BUILD.rst
index 0c8d74d..c732a46 100644
--- a/BUILD.rst
+++ b/BUILD.rst
@@ -129,8 +129,8 @@ Release notes
 
 4. Add, commit and push::
 
-      git add doc/robotremoteserver-$VERSION.rst
-      git commit -m "Release notes for $VERSION" doc/robotremoteserver-$VERSION.rst
+      git add docs/robotremoteserver-$VERSION.rst
+      git commit -m "Release notes for $VERSION" docs/robotremoteserver-$VERSION.rst
       git push
 
 5. Update later if necessary. Writing release notes is typically the biggest