From f9766dad199cb465824457c00d5e9bc91755d8ff Mon Sep 17 00:00:00 2001
From: Craig Scott <craig.scott@crascit.com>
Date: Mon, 6 Jul 2020 20:11:11 +1000
Subject: Help: Update file(ARCHIVE...) synopsis for renamed options

The FILES and DIRECTORY options were renamed in bbcff21f71
(file(ARCHIVE*): Collapse FILES and DIRECTORY options, 2020-06-30),
but the synopsis part of the file() documentation was missed.
The synopsis also typically only shows the mandatory options.
Update the synopsis to reflect the name changes and omit the
DESTINATION option since it is not mandatory.
---
 Help/command/file.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Help/command/file.rst b/Help/command/file.rst
index c1a2032..e7bc8d2 100644
--- a/Help/command/file.rst
+++ b/Help/command/file.rst
@@ -43,8 +43,8 @@ Synopsis
     file(`LOCK`_ <path> [...])
 
   `Archiving`_
-    file(`ARCHIVE_CREATE`_ OUTPUT <archive> FILES <files> [...])
-    file(`ARCHIVE_EXTRACT`_ INPUT <archive> DESTINATION <dir> [...])
+    file(`ARCHIVE_CREATE`_ OUTPUT <archive> PATHS <paths>... [...])
+    file(`ARCHIVE_EXTRACT`_ INPUT <archive> [...])
 
 Reading
 ^^^^^^^
-- 
cgit v0.12