splitting

Proposal/CVs/Florian.Rabe.tex

@@ -4,7 +4,7 @@
 
   He has worked on the formal representation and management of mathematical knowledge for 15 years.
   He was a lead researcher in the LATIN project (2009-2012), which produced a highly modular and integrated library of formal languages for knowledge representation and the OAF project (2014--2019), which produced an integrated archive of symbolic mathematical data in the area of logic. 
-  He is currently a principal investigator in the OpenDreamKit, where he developed the designed many of the concepts and TRL 5-6 services on which \TheProject builds, including the standard for semantics-aware mathematical datasets.
+  He is currently a principal investigator in the OpenDreamKit, where he developed the designed many of the concepts and TRL 5-6 services on which \pn builds, including the standard for semantics-aware mathematical datasets.
   
   He is the creator and main developer of the \software{MMT} language and system, which are the backbone of both LATIN and OAF and a central component of OpenDreamKit.
   \software{MMT} has been developed for over 10 years with more than 20 contributors and currently consists of more than $100,000$ lines of \software{Scala} code.

Proposal/Makefile

@@ -37,9 +37,12 @@ all: $(TBIB.pdf) $(TSIMP.pdf)
 final:
 	$(MAKE) $(MAKEFAGS) -w PROPOSAL=final.tex all
 
+SPLIT.at = $(shell cat SPLIT.at)
+SPLIT = $$(($(SPLIT.at) + 1))
+SSPLIT = $$(($(SPLIT.at) + 2))
 final-split: final
-	pdftk final.pdf cat 1-69   output final-123.pdf
-	pdftk final.pdf cat 70-end output final-45.pdf
+	qpdf --pages final.pdf 1-$(SPLIT) -- final.pdf final-123.pdf
+	qpdf --pages final.pdf $(SSPLIT)-z -- final.pdf final-45.pdf
 
 public:  $(SRC)
 	$(MAKE) $(MAKEFAGS) -w PROPOSAL=draft.tex all