(defun tagexport ()
  "Export separate HTML pages for ASAL tags"
  (interactive)
  (find-file-noselect "~/Documents/drive/the walk/full.org")
  (with-current-buffer "full.org"
    (setq thetags (org-get-buffer-tags))
    (setq tags nil)
    (dolist (tag thetags)
      (setq thetag (substring (format "%s" tag) 1 -1))
      (push thetag tags))
    (setq tags (remove "ignore" tags))
    (dolist (thetag tags)
      (setq org-export-select-tags nil)
      (push thetag org-export-select-tags)
      (org-export-to-file 'html (concat "tagexport/" thetag ".html"))))
  (setq org-export-select-tags '("export")))