#!/bin/bash

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

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

env LD_LIBRARY_PATH=$PWD ./main.scm $file $page