Changeset 60 in code for trunk/cli

Timestamp:

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

Author:

Izuru Yakumo

Message:

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

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

Location:

trunk/cli

Files:

• listing.ml (modified) (1 diff)
• txt.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." ]

trunk/cli/txt.ml

@@ -1 @@
-let version = "1.3"
+let version = "1.3.1"
 
 open Cmdliner