comparison make-dist @ 73770:81ee79a96310

(pr-alist-custom-set, pr-ps-utility-custom-set) (pr-ps-name-custom-set, pr-txt-name-custom-set): Don't update the Printing menu if it's not initialized. (pr-menu-bind): Act on menu-bar-file-menu directly.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 06 Nov 2006 15:13:24 +0000
parents e68d05a41cab
children ddcbd2c1b70d 02cf29720f31
comparison
equal deleted inserted replaced
73769:00be98a6763f 73770:81ee79a96310