diff -r 3070d72f54af -r 0e36bb75a732 docs/src/sync-commands.md
--- a/docs/src/sync-commands.md	Sat Aug 05 13:35:27 2017 +0200
+++ b/docs/src/sync-commands.md	Sun Aug 06 14:41:20 2017 +0200
@@ -1,5 +1,6 @@
-Commands
-========
+---
+title: 'Commands'
+---
 
 All commands expect a `<directory>` argument, which is the identifer of a local directory that should be synchronized. The directory must be configured in sync.xml. See [Configuration][1].
 
@@ -10,10 +11,10 @@
 
 Get resources from the server, which are modified since last sync:
 
-	dav pull <directory>
+	dav-sync pull <directory>
 
 Upload all locally modified resources:
 
-	dav push <directory>
+	dav-sync push <directory>