Changeset 60 in code for trunk/cli/listing.ml

Timestamp:

Feb 23, 2024, 12:50:27 PM (14 months ago)

Author:

yakumo.izuru

Message:

Bug fix: another unescaped '$', also, $txtdir -> $TXTDIR

Signed-off-by: Izuru Yakumo <yakumo.izuru@…>

File:

• trunk/cli/listing.ml (modified) (1 diff)

trunk/cli/listing.ml

@@ -37 +37 @@
         Term.info "list" ~doc:"list texts" ~man:[ `S "DESCRIPTION";
                 `P "Diplays text id, date, author, title for a directory.
-                If directory argument is ommitted, $txtdir is used, where empty value defaults to ~/.local/share/texts.
+                If directory argument is ommitted, TXTDIR is used, where empty value defaults to ~/.local/share/texts.
                 If -R is used, list header information for texts found in subdirectories too." ]