<commit_before>
std : manual.pdf

.DELETE_ON_ERROR:

declmath.sty :
	if ! [ -d declmath ]; then \
		git clone --depth=1 'https://github.com/dominique-unruh/declmath.git'; fi
	for f in declmath.sty makesymind.py; do \
		ln -sf declmath/"$$f" .; done
%.qrhl.lst : ../examples/%.qrhl format-for-listings.py
	python3 format-for-listings.py $< >$@
%.thy.lst : ../examples/%.thy format-for-listings.py
	python3 format-for-listings.py $< >$@

manual.pdf : manual.tex qrhl.bib declmath.sty macros.tex example.qrhl.lst Example.thy.lst PrgEnc.thy.lst prg-enc-rorcpa.qrhl.lst prg-enc-indcpa.qrhl.lst PrgEnc.thy.lst equality.qrhl.lst Teleport.thy.lst Code_Example.thy.lst qrhl.aux
	-pdflatex -interaction batchmode manual
	bibtex manual
	python makesymind.py manual
	makeindex manual
	pdflatex -interaction batchmode manual
	python makesymind.py manual
	makeindex manual
	pdflatex -interaction batchmode manual
	if grep 'LaTeX Warning: There were undefined references' manual.log; then false; fi
	if pdftotext manual.pdf - | grep 'THIS IS A DRAFT'; then false; fi

qrhl.aux :
	git archive --remote=<EMAIL>:unruh/qrhl-paper.git arxiv-v2 qrhl.aux | tar -xvm
<commit_msg>Fixed doc/Makefile to avoid error about undefined reference on first compilation<commit_after>
std : manual.pdf

.DELETE_ON_ERROR:

declmath.sty :
	if ! [ -d declmath ]; then \
		git clone --depth=1 'https://github.com/dominique-unruh/declmath.git'; fi
	for f in declmath.sty makesymind.py; do \
		ln -sf declmath/"$$f" .; done
%.qrhl.lst : ../examples/%.qrhl format-for-listings.py
	python3 format-for-listings.py $< >$@
%.thy.lst : ../examples/%.thy format-for-listings.py
	python3 format-for-listings.py $< >$@

manual.pdf : manual.tex qrhl.bib declmath.sty macros.tex example.qrhl.lst Example.thy.lst PrgEnc.thy.lst prg-enc-rorcpa.qrhl.lst prg-enc-indcpa.qrhl.lst PrgEnc.thy.lst equality.qrhl.lst Teleport.thy.lst Code_Example.thy.lst qrhl.aux
	rm -f manual.aux manual.bbl manual-blx.bib manual.out
	-pdflatex -interaction batchmode manual
	bibtex manual
	python makesymind.py manual
	makeindex manual
	pdflatex -interaction batchmode manual
	bibtex manual
	python makesymind.py manual
	makeindex manual
	pdflatex -interaction batchmode manual
	if grep 'LaTeX Warning: There were undefined references' manual.log; then false; fi
	if pdftotext manual.pdf - | grep 'THIS IS A DRAFT'; then false; fi

qrhl.aux :
	git archive --remote=<EMAIL>:unruh/qrhl-paper.git arxiv-v2 qrhl.aux | tar -xvm

{'fraction_non_alphanumeric': 0.12209064924458962, 'fraction_numerical': 0.0032666394446712946, 'mean_word_length': 3.861111111111111, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 9, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3336060', 'n_tokens_mistral': 954, 'n_tokens_neox': 915, 'n_words': 226}