diff options
author | Joseph Myers <joseph@codesourcery.com> | 2014-06-26 21:30:07 +0000 |
---|---|---|
committer | Joseph Myers <joseph@codesourcery.com> | 2014-06-26 21:30:07 +0000 |
commit | 354426bb34a7dba084cd1dbef46db0994c48988f (patch) | |
tree | c1f8400382ba740f4376024f3b4896a5c5e84ed1 /manual/Makefile | |
parent | a3dd035d9d87273d2feae6910f80fe888f6aeba0 (diff) | |
download | glibc-354426bb34a7dba084cd1dbef46db0994c48988f.zip glibc-354426bb34a7dba084cd1dbef46db0994c48988f.tar.gz glibc-354426bb34a7dba084cd1dbef46db0994c48988f.tar.bz2 |
Update scripts/list-sources.sh for ports repository merge.
scripts/list-sources.sh includes handling of ports that has been
obsolete ever since the ports repository was merged into the libc
repository. This patch removes that handling.
Tested by regenerating libc.pot and examining the resulting changes.
* scripts/list-sources.sh: Do not handle ports specially.
Diffstat (limited to 'manual/Makefile')
0 files changed, 0 insertions, 0 deletions