diff options
author | Robert Alessi <alessi@robertalessi.net> | 2016-04-04 17:47:24 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2016-04-04 17:47:24 +0200 |
commit | 5abb892b1d437119470e36a1d2da9478dfc75220 (patch) | |
tree | 6624def95f0d576b3028efc8a7b4a0c75a3f1efb /makefile | |
parent | eae4e733af28e5e2c2feed66d7743749cc5f5379 (diff) | |
download | arabluatex-5abb892b1d437119470e36a1d2da9478dfc75220.tar.gz |
added about.html compiled from README.tex for my git repository
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -43,3 +43,4 @@ clean: | |||
43 | rm *.* | 43 | rm *.* |
44 | cp saved/* . | 44 | cp saved/* . |
45 | rm -rf saved/ | 45 | rm -rf saved/ |
46 | pandoc README.tex -o about.html | ||