diff options
| author | Arun Isaac | 2022-09-19 01:35:27 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-09-19 01:36:53 +0530 |
| commit | 2021a796b6f024fd69c636f58154aa4c9925243f (patch) | |
| tree | 24265cba828a3f69c81cda203129516910368335 | |
| parent | e994dd7d21f1e69cea64f289499cf6e2c750b660 (diff) | |
| download | tissue-2021a796b6f024fd69c636f58154aa4c9925243f.tar.gz tissue-2021a796b6f024fd69c636f58154aa4c9925243f.tar.lz tissue-2021a796b6f024fd69c636f58154aa4c9925243f.zip | |
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.
| -rwxr-xr-x | bin/tissue | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -311,7 +311,7 @@ Build website of current repository. (match-lambda* (("--help") (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 |