diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-03-09 09:41:22 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-03-09 09:41:22 +0100 |
| commit | 239a17a9863db9eea87e142931e6647b0e0064e1 (patch) | |
| tree | 6100bdbaad97d07cb98b7bcb8f0f0850ce60d0af /test/lhs-test.html | |
| parent | fd35661646b87c4960f6c610de06c891c78e9aab (diff) | |
HTML writer: fallback to basename rather than Untitled.
Diffstat (limited to 'test/lhs-test.html')
| -rw-r--r-- | test/lhs-test.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lhs-test.html b/test/lhs-test.html index 330122666..db90ae95e 100644 --- a/test/lhs-test.html +++ b/test/lhs-test.html @@ -4,7 +4,7 @@ <meta charset="utf-8" /> <meta name="generator" content="pandoc" /> <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" /> - <title>Untitled</title> + <title>lhs-test</title> <style type="text/css"> code{white-space: pre-wrap;} .smallcaps{font-variant: small-caps;} |