#!/bin/bash

pushd $(dirname $(realpath $0)) > /dev/null

LD_LIBRARY_PATH=$PWD

file=texttv.json
page=${1:- 100}

./main.scm $file $page