diff options
Diffstat (limited to '')
-rw-r--r-- | debian/patches/series | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..fcabcc0 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1,12 @@ +bash-scripts.patch +nroff-ifs.patch +doc-gfdl.patch +doc-gzipped.patch +extratmacdirs.patch +papersize-config.patch +load-desc-failure.patch +mmse-note.patch +source-date-epoch-utc.patch +doc-default-os-debian.patch +man-hyperlinks.patch +nroff-map-CW-to-R.patch |