diff options
Diffstat (limited to 'generic/pg-movie.el')
| -rw-r--r-- | generic/pg-movie.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-movie.el b/generic/pg-movie.el index 755d41f5..2b2454d8 100644 --- a/generic/pg-movie.el +++ b/generic/pg-movie.el @@ -43,7 +43,7 @@ "<?xml-stylesheet type=\"text/xsl\" href=\"proviola-spp.xsl\"?>") (defun pg-movie-stylesheet-location () - (concat proof-home-directory "etc/proviola/proviola-spp.xsl")) + (expand-file-name "etc/proviola/proviola-spp.xsl" proof-home-directory)) (defvar pg-movie-frame 0 "Frame counter for movie.") |