* admin.el (manual-html-fix-index-2): Tweak previous change.
authorGlenn Morris <rgm@gnu.org>
Sat, 4 Jan 2014 02:35:45 +0000 (18:35 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 4 Jan 2014 02:35:45 +0000 (18:35 -0800)
commit86c6e8fadaa84ae1faac7d3e177e6ad37a629e98
tree5a6cbad61100f9f1d9f019662cd9ec35df761ffe
parentd16ec91efb551c2a3181d2ae494f8af28d7f254b
* admin.el (manual-html-fix-index-2): Tweak previous change.
admin/admin.el