| 
					
				 | 
			
			
				@@ -3864,9 +3864,11 @@ file-local settings. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 Return output file's name." 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   (interactive) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-  (let* ((extension (concat "." (or (plist-get ext-plist :html-extension) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-				    org-html-extension 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-				    "html"))) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  (let* ((extension (concat 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+		     (when (> (length org-html-extension) 0) ".") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+		     (or (plist-get ext-plist :html-extension) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+			 org-html-extension 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+			 "html"))) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 	 (file (org-export-output-file-name extension subtreep)) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 	 (org-export-coding-system org-html-coding-system)) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     (org-export-to-file 'html file 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -3882,9 +3884,10 @@ publishing directory. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 Return output file name." 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   (org-publish-org-to 'html filename 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-		      (concat "." (or (plist-get plist :html-extension) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-				      org-html-extension 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-				      "html")) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+		      (concat (when (> (length org-html-extension) 0) ".") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+			      (or (plist-get plist :html-extension) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+				  org-html-extension 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+				  "html")) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 		      plist pub-dir)) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 |