bash-scripts.patch
doc-gfdl.patch
doc-gzipped.patch
extratmacdirs.patch
papersize-config.patch
load-desc-failure.patch
mmse-note.patch
doc-default-os-debian.patch
nroff-map-CW-to-R.patch
