diff options
| author | Tristan Gingold <gingold@adacore.com> | 2010-12-10 12:10:49 +0300 |
|---|---|---|
| committer | Tristan Gingold <gingold@adacore.com> | 2010-12-10 12:10:49 +0300 |
| commit | d813b58822ac2ef285106a5bd4b17b6cd08d9657 (patch) | |
| tree | 26cf0ed8fffd944d3c410b3dcebdd9ece0c2e27c /src-release | |
| parent | 4f26f8486c7d4ccf51634ad766f6788d9ef40e38 (diff) | |
2010-12-10 Tristan Gingold <gingold@adacore.com>
* src-release (ETC_SUPPORT): add gnu-oids.texi
Diffstat (limited to 'src-release')
| -rw-r--r-- | src-release | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-release b/src-release index bdb8c1d50..8c25e6bde 100644 --- a/src-release +++ b/src-release @@ -57,7 +57,7 @@ DEVO_SUPPORT= README Makefile.in configure configure.ac \ # Files in devo/etc used in any net release. ETC_SUPPORT= Makefile.in configure configure.in standards.texi \ make-stds.texi standards.info* configure.texi configure.info* \ - ChangeLog configbuild.* configdev.* fdl.texi texi2pod.pl + ChangeLog configbuild.* configdev.* fdl.texi texi2pod.pl gnu-oids.texi # When you use `make setup-dirs' or `make taz' you should always redefine |