generate_sources.sh


1
2
3
4
5
6
7
8
9

#! /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