Glenn Morris
f9405d87cd
Add support for auto-generating info/dir
* admin/update_autogen: Add option to generate info/dir.
(Usage): Add -I.
(info_flag): New variable.
(-I): New option.
(doc): Maybe check its status.
(info_dir): New function.
* admin/dir_top: New file.
* doc/emacs/emacs.texi:
* doc/lispintro/emacs-lisp-intro.texi:
* doc/lispref/elisp.texi:
* doc/misc/autotype.texi, doc/misc/cc-mode.texi, doc/misc/ediff.texi:
* doc/misc/ert.texi, doc/misc/htmlfontify.texi, doc/misc/ido.texi:
* doc/misc/octave-mode.texi, doc/misc/org.texi, doc/misc/srecode.texi:
* doc/misc/todo-mode.texi, doc/misc/tramp.texi:
Sync direntry with info/dir version.
2013-12-11 19:37:38 -08:00
..
2013-02-12 20:31:09 -08:00
2013-01-05 17:19:53 +01:00
2013-12-11 19:37:38 -08:00
2013-07-02 20:03:47 -07:00
2013-11-16 22:22:24 -06:00
2013-12-11 19:37:38 -08:00
2013-12-11 19:37:38 -08:00
2013-10-15 06:25:14 +08:00
2013-12-08 16:33:27 +01:00
2013-10-23 13:20:09 -04:00
2012-12-06 00:33:32 -08:00
2013-10-23 13:20:09 -04:00
2013-10-23 13:20:09 -04:00
2013-12-11 19:37:38 -08:00
2013-08-12 23:55:21 -07:00
2013-08-27 01:14:58 -07:00
2013-08-27 15:40:24 -04:00
2013-10-23 13:20:09 -04:00
2013-09-08 16:31:14 -07:00
2013-08-19 05:10:33 +00:00
2013-11-08 09:49:40 +01:00
2013-07-25 00:10:56 -07:00
2013-12-11 19:37:38 -08:00
2013-10-23 13:20:09 -04:00
2013-07-05 18:39:21 -07:00
2013-06-21 10:36:13 -04:00
2013-02-12 09:36:54 -08:00
2013-03-06 23:28:51 -08:00
2013-07-06 23:40:56 +00:00
2013-01-01 09:11:05 +00:00
2013-01-01 09:11:05 +00:00
2013-10-12 17:31:19 -07:00
2012-12-06 00:33:32 -08:00
2013-12-11 19:37:38 -08:00
2013-02-12 20:31:09 -08:00
2013-12-11 19:37:38 -08:00
2013-01-08 02:11:51 +02:00
2013-08-13 00:02:00 -07:00
2013-12-11 14:50:46 +01:00
2013-01-04 11:22:37 -08:00
2013-02-13 00:50:44 -08:00
2013-07-05 18:39:21 -07:00
2013-08-07 20:44:16 +08:00
2013-07-03 18:53:56 -07:00
2013-12-11 19:37:38 -08:00
2013-12-11 19:37:38 -08:00
2013-10-23 13:20:09 -04:00
2013-07-02 23:42:43 -07:00
2013-01-02 08:13:04 -08:00
2013-08-13 00:02:00 -07:00
2013-02-12 20:31:09 -08:00
2013-01-01 09:11:05 +00:00
2013-10-23 13:20:09 -04:00
2013-01-01 09:11:05 +00:00
2013-02-21 13:33:04 -08:00
2013-11-20 00:52:15 -08:00
2013-06-14 09:48:49 +00:00
2013-01-05 17:19:53 +01:00
2013-02-21 13:33:04 -08:00
2013-12-11 19:37:38 -08:00
2013-09-19 14:40:08 -07:00
2013-12-11 19:37:38 -08:00
2013-12-11 19:37:38 -08:00
2013-10-07 14:48:18 +02:00
2013-07-02 20:20:04 -07:00
2013-10-23 13:20:09 -04:00
2013-10-23 13:20:09 -04:00
2013-10-23 13:20:09 -04:00
2013-07-05 18:39:21 -07:00
2013-08-11 17:09:11 -07:00