diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2018-03-19 11:57:59 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2018-03-19 11:57:59 -0700 |
| commit | a8359c69de12dcb6fe0521857b74fef1ed240dfa (patch) | |
| tree | e4e6b35c553a434c3edce64832b5e512dfc7c9c8 /lib/fonts/Makefile | |
| parent | 2c2cd318066115e32347bd24402fefc5e2116b0b (diff) | |
| download | pandoc-a8359c69de12dcb6fe0521857b74fef1ed240dfa.tar.gz | |
Removed old lib directory.
This was used for something long ago, but plays no role now.
Diffstat (limited to 'lib/fonts/Makefile')
| -rw-r--r-- | lib/fonts/Makefile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/fonts/Makefile b/lib/fonts/Makefile deleted file mode 100644 index 5693ee054..000000000 --- a/lib/fonts/Makefile +++ /dev/null @@ -1,6 +0,0 @@ -symbol.hs: symbol.txt - runghc parseUnicodeMapping.hs symbol.txt - -.PHONY: clean -clean: - -rm symbol.hs |