Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <mike@mikegerwitz.com>2013-06-04 22:27:02 -0400
committerMike Gerwitz <mike@mikegerwitz.com>2013-06-04 22:27:02 -0400
commit2b05f03b2f5f10f0407482e520fd9544217233e4 (patch)
treefdd9596ff376d05662ab73b832b22583bc657d2e /Makefile
parent2843ce20c58ed7a1989c24f67bea50fe78442ee6 (diff)
downloadthoughts-2b05f03b2f5f10f0407482e520fd9544217233e4.tar.gz
thoughts-2b05f03b2f5f10f0407482e520fd9544217233e4.tar.bz2
thoughts-2b05f03b2f5f10f0407482e520fd9544217233e4.zip
docs/papers/.list will now take into account TeX articles
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 612c1a1..6733048 100644
--- a/Makefile
+++ b/Makefile
@@ -69,8 +69,8 @@ thoughts:
$(MAKE) -C '$(dir $<)' pdf dvi
url_root='$(url_root)' ./tools/texdoc '$(dir $<)' | $(repo2html) -icontent -ftools/extfmt >$@
-docs/papers/.list: thoughts $(articles)
- echo "$(articles)" | tr ' ' '\n' | tools/doclist >$@
+docs/papers/.list: thoughts articles
+ echo "$(articles) $(texticles)" | tr ' ' '\n' | tools/doclist >$@
pages: $(pages)
articles: $(articles) $(texticles)