| commit | 0773c610689c7612b0d7b44e61701079b6f56419 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Sat, 6 Jul 2013 02:32:13 +0000 (5 19:32 -0700) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Sat, 6 Jul 2013 02:32:13 +0000 (5 19:32 -0700) | ||
| tree | df4d6880d9a25b15bf53e5fcae572f3760edcb66 | treesnapshot (tar.gz zip) |
| parent | 4431e6d9b30062407a60897db58356a36cedf49f | commitdiff |
* admin/admin.el (make-manuals): Avoid hard-coding list of misc manuals.
(manual-misc-manuals): New function.
(manual-misc-manuals): New function.
| admin/ChangeLog | diffblobblamehistory | |
| admin/admin.el | diffblobblamehistory |