#! /usr/bin/env bash

if [ "$1" ]; then
	# Print the content of the generated source named $1 here.
	true
else
	# Print a list of names of the files that should be generated using this script here.
	true
fi