diff --git a/adoptions/Makefile b/adoptions/Makefile index 2a93caec4d126c293001877288c95ce8f30b0629..df50e027f8c85f1909b53c6cfcf7d07371d2a10d 100644 --- a/adoptions/Makefile +++ b/adoptions/Makefile @@ -1,5 +1,5 @@ TARGET = paper.pdf -WWWDIR = $(HOME)/vc/svn/kwarc.info/kohlhase/www/src/submit +WWWDIR = $(HOME)/vc/svn/kwarc.info/kohlhase/www/src/papers TEX = $(shell ls *.tex) all: $(TARGET) diff --git a/adoptions/paper.pdf b/adoptions/paper.pdf index 246ff5b58f872ecb4e3d075ab78051175dfef72d..84b1acc522020a07015aac1ed001dccbf21f5dfe 100644 Binary files a/adoptions/paper.pdf and b/adoptions/paper.pdf differ diff --git a/flatsearch/Makefile b/flatsearch/Makefile index c9bc731c5b787d19432585e1fe399278c2d1bb3d..b95265270ce86a8a1f9bc9cb90a75fa6b8122d45 100644 --- a/flatsearch/Makefile +++ b/flatsearch/Makefile @@ -1,5 +1,5 @@ TARGET = paper.pdf -WWWDIR = $(HOME)/vc/svn/kwarc.info/kohlhase/www/src/submit +WWWDIR = $(HOME)/vc/svn/kwarc.info/kohlhase/www/src/papers TEX = $(shell ls *.tex) all: $(TARGET) diff --git a/flatsearch/paper.pdf b/flatsearch/paper.pdf index 962ec6acb905bd57ade2db455347bc1adbcaf308..3a336eb5f4f021d1b16b686aac740c55070fc25d 100644 Binary files a/flatsearch/paper.pdf and b/flatsearch/paper.pdf differ