mikegerwitz
/
thoughts
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs/papers/.list will now take into account TeX articles

master
Mike Gerwitz 2013-06-04 22:27:02 -04:00
parent 2843ce20c5
commit 2b05f03b2f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -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)