#!/bin/bash # Creates a master script for a given theme to help with debugging. # Combining the files does not impart significant optimizations (because # the OS is likely caching the file accesses in memory). cat $(cat $(cat include/$1.tex | sed 's/\\input //') | sed 's/\\input //' | sed '/^\s*$/d')