|
@@ -6406,7 +6406,12 @@ When optional argument PUB-DIR is set, use it as the publishing
|
|
|
directory.
|
|
|
|
|
|
Return file name as a string."
|
|
|
- (let* ((visited-file (buffer-file-name (buffer-base-buffer)))
|
|
|
+ (let* ((visited-file
|
|
|
+ ;; If a buffer is visiting a .gpg file, remove the .gpg
|
|
|
+ ;; extension from the name of the exported file.
|
|
|
+ (replace-regexp-in-string
|
|
|
+ "\\.gpg\\'" ""
|
|
|
+ (buffer-file-name (buffer-base-buffer))))
|
|
|
(base-name
|
|
|
(concat
|
|
|
(file-name-sans-extension
|