| commit | f114e6c3ca0d5402e8996fc02977d9166b898e4d | |
| author | Glenn Morris <rgm@gnu.org> | |
| Fri, 5 Jul 2013 16:10:47 +0000 (5 09:10 -0700) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Fri, 5 Jul 2013 16:10:47 +0000 (5 09:10 -0700) | ||
| tree | dc3a4e0ff2b14c0fd91476243f845dd71cca68de | treesnapshot (tar.gz zip) |
| parent | c0747758896a1d0ca4fd9649277ff5adbdf757d7 | commitdiff |
* admin/admin.el (make-manuals): Use a pdf/ subdirectory for pdf versions.
| admin/ChangeLog | diffblobblamehistory | |
| admin/admin.el | diffblobblamehistory |