#!/bin/sh
grep input $1 | sed 's/\\input //g'