r7rs-small-texinfo

Unnamed repository; edit this file 'description' to name the repository.
git clone https://kaka.farm/~git/r7rs-small-texinfo
Log | Files | Refs
commit 6a2955d2a38198300ba44885254be89d8c856dab
parent e7774e2f0b3ceadbda40313f33088efa984c83a7
Author: Yuval Langer <yuval.langer@gmail.com>
Date:   Wed,  7 Feb 2024 01:31:39 +0200

Add Info build target.

Diffstat:

Mdoc/r7rs-small/build.sh | 3+++


1 file changed, 3 insertions(+), 0 deletions(-)

diff --git a/doc/r7rs-small/build.sh b/doc/r7rs-small/build.sh
@@ -47,6 +47,9 @@ html)
 pdf)
         target_flag="--pdf"
         ;;
+info)
+	target_flag="--info"
+	;;
 *)
         printf "Error: target '%s' not yet supported.\n" "$1"
         exit 1