diff options
authorArun Isaac2022-09-19 01:35:27 +0530
committerArun Isaac2022-09-19 01:36:53 +0530
commit2021a796b6f024fd69c636f58154aa4c9925243f (patch)
parente994dd7d21f1e69cea64f289499cf6e2c750b660 (diff)
bin: Clarify that web-dev serves both built website and issues.
* bin/tissue (tissue-web-dev, print-usage): Clarify in the usage summary that web-dev serves both the built website and the issues.
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/tissue b/bin/tissue
index 5ebc201..3bb5370 100755
--- a/bin/tissue
+++ b/bin/tissue
@@ -311,7 +311,7 @@ Build website of current repository.
(format #t "Usage: ~a web-dev WEBSITE-DIRECTORY
-Serve current repository over HTTP.
+Serve built website and issues of current repository.
--port=PORT run web server listening on PORT (default: 8080)
--listen-repl=P run REPL server listening on port or path P
@@ -349,7 +349,7 @@ COMMAND must be one of the sub-commands listed below:
show show the text of an issue
repl run a Guile script in a tissue environment
web-build build website of current repository
- web-dev serve current repository over HTTP
+ web-dev serve built website and issues of current repository
web serve one or more repositories over HTTP
pull pull latest from upstream repositories