Fri, 20 Jun 2008 15:10:58 +0000 |
Eli Zaretskii |
(distclean): Remove makefile.
|
Fri, 16 May 2008 05:49:14 +0000 |
Glenn Morris |
Switch to recommended form of GPLv3 permissions notice.
|
Wed, 06 Feb 2008 23:02:03 +0000 |
Jason Rumney |
Revert last change
|
Tue, 05 Feb 2008 14:53:02 +0000 |
Jason Rumney |
* makefile.w32-in (info): Depend on $(infodir)/dir
|
Tue, 08 Jan 2008 20:46:54 +0000 |
Miles Bader |
Merge from emacs--rel--22
|
Thu, 06 Sep 2007 04:06:03 +0000 |
Glenn Morris |
(infodir, ENVADD): Go up one more level.
|
Thu, 06 Sep 2007 04:03:24 +0000 |
Glenn Morris |
Move here from ../../lispintro/
|