From 2691f2073ae813f94208278600d6102b34664108 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 17 May 2022 14:26:41 +0200
Subject: [PATCH] tool/depot: minor documentation fixes

---
 tool/depot/mk/downloader | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/tool/depot/mk/downloader b/tool/depot/mk/downloader
index 2dd91d4416..19bcbdd924 100755
--- a/tool/depot/mk/downloader
+++ b/tool/depot/mk/downloader
@@ -1,21 +1,20 @@
 #!/usr/bin/make -f
 
 #
-# \brief  Simulate the download of files by copying content from a directory
+# \brief  Download, verify, and extract depot archives
 # \author Norman Feske
 # \date   2017-03-23
 #
 
 export GENODE_DIR := $(realpath $(dir $(MAKEFILE_LIST))/../../..)
 
-REMOTE_DIR     ?= $(GENODE_DIR)/remote
 PUBLIC_DIR     ?= $(GENODE_DIR)/public
 DEPOT_DIR      ?= $(GENODE_DIR)/depot
 DEPOT_TOOL_DIR ?= $(GENODE_DIR)/tool/depot
 
 define HELP_MESSAGE
 
-  Simulate the download of files by copying content from a directory
+  Download, verify, and extract depot archives
 
   usage: