diff options
| author | Mike Gerwitz <mike@mikegerwitz.com> | 2013-06-04 22:27:02 -0400 |
|---|---|---|
| committer | Mike Gerwitz <mike@mikegerwitz.com> | 2013-06-04 22:27:02 -0400 |
| commit | 2b05f03b2f5f10f0407482e520fd9544217233e4 (patch) | |
| tree | fdd9596ff376d05662ab73b832b22583bc657d2e /Makefile | |
| parent | 2843ce20c58ed7a1989c24f67bea50fe78442ee6 (diff) | |
| download | thoughts-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-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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) |