Probably for Americans who can't type `` or '' without someone
holding their hands. Gets in the way if you actually wanted that
character. A lot.
("^pdf$" "." "evince %o")
("^html?$" "." "netscape %o")))
("^pdf$" "." "evince %o")
("^html?$" "." "netscape %o")))
+(setq TeX-open-quote "\""
+ TeX-close-quote "\"")
+
(setq reftex-use-external-file-finders t
reftex-auto-recenter-toc t)
(setq reftex-use-external-file-finders t
reftex-auto-recenter-toc t)