diff options
| author | Jim Meyering <meyering@redhat.com> | 2012-01-13 10:18:26 +0100 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2012-01-13 12:05:15 +0100 |
| commit | 59420cd7162dee87e098360e3b1a86eff83835e3 (patch) | |
| tree | dd6ba514fd7fb1be393b2cdd48fe0310f344234e /djgpp | |
| parent | 09aa8a885b40a1edd6e849215fd398438945b62e (diff) | |
| download | bison-59420cd7162dee87e098360e3b1a86eff83835e3.tar.gz | |
maint: avoid "the the"
* djgpp/README.in: s/the the/the/
* src/parse-gram.c (lloc_default): Likewise.
* src/parse-gram.y (lloc_default): Likewise, and remove a
trailing space.
Diffstat (limited to 'djgpp')
| -rw-r--r-- | djgpp/README.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/djgpp/README.in b/djgpp/README.in index df29f69b..154c8a29 100644 --- a/djgpp/README.in +++ b/djgpp/README.in @@ -84,7 +84,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. some more work to unpack, if LFN support is not available. If LFN is available then you can extract the source files from the archive with any unzip program and proceed to the paragraph 3.3, below. Any file - name issue will be handled by the the DJGPP configuration files. + name issue will be handled by the DJGPP configuration files. To unpack the source distribution on SFN systems, first, you MUST use the `djunpack' batch file to unzip the package. That is because some file names in the official distributions need to be changed to avoid |