diff -r 8e7ef0675946 -r 02d3e4b1245f docs/src/push.md
--- a/docs/src/push.md	Sun Aug 06 17:02:25 2017 +0200
+++ b/docs/src/push.md	Sun Aug 06 18:18:00 2017 +0200
@@ -2,7 +2,7 @@
 title: 'dav-sync push'
 ---
 
-**`push [-cld] <directory>`**
+**`dav-sync push [-cld] <directory>`**
 
 Pushes all local changes to the server. This uploads all locally modified files and deletes all locally deleted files on the server.