diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2014-10-08 11:48:42 +0400 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2014-10-08 11:48:42 +0400 |
| commit | 597d7d4d9df6e688e766f1da1c7de92b191fbde9 (patch) | |
| tree | e758dd00a56a9039deba2abab755033466bd0cbf /debian/patches/deb-examples.diff | |
| download | bash-debian.tar.gz | |
Debian bash 4.3-11debian/4.3-11debian
Diffstat (limited to 'debian/patches/deb-examples.diff')
| -rw-r--r-- | debian/patches/deb-examples.diff | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/patches/deb-examples.diff b/debian/patches/deb-examples.diff new file mode 100644 index 0000000..4c001b8 --- /dev/null +++ b/debian/patches/deb-examples.diff @@ -0,0 +1,14 @@ +# DP: document readline header location on Debian systems + +--- a/examples/loadables/README ++++ b/examples/loadables/README +@@ -32,6 +32,9 @@ + guide'. The file template.c provides a template to use for creating + new loadable builtins. + ++On Debian GNU/Linux systems, the bash headers are in /usr/include/bash. ++The appropriate options are already set in the example Makefile. ++ + basename.c Return non-directory portion of pathname. + cat.c cat(1) replacement with no options - the way cat was intended. + cut.c cut(1) replacement. |