diff options
author | Akim Demaille <demaille@gostai.com> | 2008-09-23 16:18:36 +0200 |
---|---|---|
committer | Akim Demaille <demaille@gostai.com> | 2008-11-15 11:13:57 +0100 |
commit | 3641590697427649e8e6a196518526d618413314 (patch) | |
tree | 21949592076a834b88413c85b0615343a1f5529c /djgpp/local.mk | |
parent | e2c2f696504e69ad69beb700c5e37b0ff6d0b81b (diff) | |
download | bison-3641590697427649e8e6a196518526d618413314.tar.gz |
djgpp/local.mk.
* Makefile.am (EXTRA_DIST): Move djgpp related part to...
* djgpp/local.mk: this new file.
Diffstat (limited to 'djgpp/local.mk')
-rw-r--r-- | djgpp/local.mk | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/djgpp/local.mk b/djgpp/local.mk new file mode 100644 index 00000000..52b6948b --- /dev/null +++ b/djgpp/local.mk @@ -0,0 +1,27 @@ +## Copyright (C) 2008 Free Software Foundation, Inc. + +## This program is free software: you can redistribute it and/or modify +## it under the terms of the GNU General Public License as published by +## the Free Software Foundation, either version 3 of the License, or +## (at your option) any later version. +## +## This program is distributed in the hope that it will be useful, +## but WITHOUT ANY WARRANTY; without even the implied warranty of +## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +## GNU General Public License for more details. +## +## You should have received a copy of the GNU General Public License +## along with this program. If not, see <http://www.gnu.org/licenses/>. + +EXTRA_DIST += \ + djgpp/Makefile.maint \ + djgpp/README.in \ + djgpp/config.bat \ + djgpp/config.sed \ + djgpp/config.site \ + djgpp/config_h.sed \ + djgpp/djunpack.bat \ + djgpp/fnchange.lst \ + djgpp/subpipe.c \ + djgpp/subpipe.h \ + djgpp/testsuite.sed |