add comment to DOCKER.md

CoqHott · Jan 2, 2024 · 7670ec1 · 7670ec1
1 parent 5430450
commit 7670ec1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/DOCKER.md b/DOCKER.md
@@ -36,3 +36,4 @@ And then to connect (username is 'coq' and password is 'coq' as well):
 ```
 ssh coq@localhost
 ```
+Note you might have to source .profile to get coq in the PATH