move the decision about where to render the filename into the template

assets/templates/default.html

@@ -42,6 +42,9 @@
     <a href="{{ relative_root }}contributors.html">contributors</a>
 </nav>
 <hr />
+{% if source_file %}
+<p id="file-path">{{ source_file }}</p>
+{% endif %}
 {{ content|safe }}
 <hr />
 <footer>

main.scm

@@ -174,8 +174,7 @@
     `(pre ,(git-file->string source-file)))
   (define (binary)
     '(p "(Binary file)"))
-  `((p (@ id "file-path") ,source-file)
+  (case (string->symbol extension)
-    ,(case (string->symbol extension)
     ((.md .markdown)
      (handle-exceptions exn
          (begin
@@ -192,7 +191,7 @@
     (else
      (if (git-file-is-text? source-file)
          (plaintext)
-            (binary))))))
+         (binary))))
 
 (define (filelist->sxml source-files-list relative-root)
   `((h1 "Files")