From d45af7fd7669f90ffc56e4067ad9671c01ae9ddc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= <daniel@ekloef.se>
Date: Thu, 15 Aug 2019 19:17:51 +0200
Subject: [PATCH] doc: document how to specify command to execute instead of
 shell

---
 doc/foot.1.scd | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/foot.1.scd b/doc/foot.1.scd
index d1bbfd61..09661bbb 100644
--- a/doc/foot.1.scd
+++ b/doc/foot.1.scd
@@ -4,7 +4,11 @@ foot(1)
 foot - Wayland terminal emulator
 
 # SYNOPSIS
-*foot* [_OPTIONS_]...
+*foot* [_OPTIONS_]++
+*foot* [_OPTIONS_] -- <command>
+
+All trailing (non-option) arguments are treated as a command to
+execute (instead of the shell).
 
 # OPTIONS