#!/bin/bash
input_file="TheGodelHorizon-16x9.png"
output_prefix="TheGodelHorizon"
title=$'\u201CThe Godel Horizon\u201D'
echo "input_file=${input_file}"
echo "output_prefix=${output_prefix}"
echo "title=${title}"
make-1.sh "${input_file}" "${output_prefix}"
#make-2.sh "${input_file}" "${output_prefix}" "${title}"