diff --git a/.gitmodules b/.gitmodules index 741de09..50c2e22 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "docs/papers/coope"] path = docs/papers/coope url = git@gitorious.org:easejs/coope.git +[submodule "docs/papers/cptt"] + path = docs/papers/cptt + url = https://mikegerwitz.com/projects/cptt diff --git a/Makefile b/Makefile index 92ed099..9a8dad4 100644 --- a/Makefile +++ b/Makefile @@ -71,7 +71,7 @@ thoughts: $(repo2html) -icontent -ftools/mdfmt <$< >$@ # TeX papers are expected to have their own makefiles as well as an abstract.tex -%.html: coope/%.tex +%.html: %/abstract.tex $(MAKE) -C '$(dir $<)' pdf dvi url_root='$(url_root)' ./tools/texdoc '$(dir $<)' | $(repo2html) -icontent -ftools/extfmt >$@ diff --git a/docs/papers/cptt b/docs/papers/cptt new file mode 160000 index 0000000..41a35f3 --- /dev/null +++ b/docs/papers/cptt @@ -0,0 +1 @@ +Subproject commit 41a35f3c37fd41772ff7ae8aca62d77c4cafcf6c diff --git a/tools/texdoc b/tools/texdoc index 33274dc..1d88212 100755 --- a/tools/texdoc +++ b/tools/texdoc @@ -27,7 +27,9 @@ base="$( basename "$path" )" head -n1 "$main" | sed '1s/^% //;1a\\' ( tr '\n' ' ' \ - | sed 's/\\[^ ]\+\({[^}]\+}\)\?//g;$a\\' + | sed 's/\\[^ ]\+\({[^}]\+}\)\?//g; + s/~/ /g; + $a\\' # all articles should provide PDF and DVI cat <