diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2014-08-09 20:46:59 +0100 |
|---|---|---|
| committer | Jesse Rosenthal <jrosenthal@jhu.edu> | 2014-08-09 22:37:12 -0400 |
| commit | 504465c6a39a2fe8c5ecf744afa328f21ef250df (patch) | |
| tree | 5e418f4259100e35b8ae1bcc011fc8a51eff6db7 /lib/fonts/Makefile | |
| parent | 2deaa7096f186c3a87a2cbf4f3ca8a042328246e (diff) | |
| download | pandoc-504465c6a39a2fe8c5ecf744afa328f21ef250df.tar.gz | |
lib: Added symbol.txt and file to generate codepoint to unicode mapping
Diffstat (limited to 'lib/fonts/Makefile')
| -rw-r--r-- | lib/fonts/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/fonts/Makefile b/lib/fonts/Makefile new file mode 100644 index 000000000..5693ee054 --- /dev/null +++ b/lib/fonts/Makefile @@ -0,0 +1,6 @@ +symbol.hs: symbol.txt + runghc parseUnicodeMapping.hs symbol.txt + +.PHONY: clean +clean: + -rm symbol.hs |