Compile Donald Knuths TeXBook to test TeX distribution

texbook.sh

#! /bin/sh

# run as ./textbook.sh texbook.tex > texbook_nodrm.tex

if [ $# -ne 1 ]; then
    printf "Usage: ./texbook.sh texbook.tex > texbook_nodrm.tex\n" >&2
    exit 1
fi

texbook="$1"

sed '9{b1 :1 s/ \\/\n\\/g}; 7,9{b2 :2 s/^/%/}; 9{b3 :3 s/$/\n\\proofmodefalse/}' "$texbook"