diff options
author | Ben Elliston <bje@gnu.org> | 2018-12-02 16:37:46 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-02 16:37:46 +1100 |
commit | 63bacded39355dfb4111a945ee98f205fb46d0e0 (patch) | |
tree | 49c8c0803b8a24270d46ad42f93ec188a22fe2b8 /mdate-sh | |
parent | e41f111dd10745c8e453bed121f6a78acbe27a2f (diff) | |
download | dejagnu-63bacded39355dfb4111a945ee98f205fb46d0e0.zip dejagnu-63bacded39355dfb4111a945ee98f205fb46d0e0.tar.gz dejagnu-63bacded39355dfb4111a945ee98f205fb46d0e0.tar.bz2 |
* doc/dejagnu.texi: Add title page and frontmatter. Include
version.texi.
* Makefile.in: Regenerate.
* mdate-sh: Installed by automake --add-missing.
Diffstat (limited to 'mdate-sh')
l--------- | mdate-sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mdate-sh b/mdate-sh new file mode 120000 index 0000000..c3446a3 --- /dev/null +++ b/mdate-sh @@ -0,0 +1 @@ +/usr/share/automake-1.15/mdate-sh
\ No newline at end of file |