Update scripts

.gitignore

-
-# Created by https://www.toptal.com/developers/gitignore/api/latex
-# Edit at https://www.toptal.com/developers/gitignore?templates=latex
-
-### LaTeX ###
-## Core latex/pdflatex auxiliary files:
 *.aux
 *.lof
 *.log
@@ -16,82 +10,42 @@
 *.cb
 *.cb2
 .*.lb
-
-## Intermediate documents:
 *.dvi
 *.xdv
 *-converted-to.*
-# these rules might exclude image files for figures etc.
-# *.ps
-# *.eps
-# *.pdf
-
-## Generated if empty string is given at "Please type another file name for output:"
-.pdf
-
-## Bibliography auxiliary files (bibtex/biblatex/biber):
+*.pdf
 *.bbl
 *.bcf
 *.blg
 *-blx.aux
 *-blx.bib
 *.run.xml
-
-## Build tool auxiliary files:
 *.fdb_latexmk
 *.synctex
 *.synctex(busy)
 *.synctex.gz
 *.synctex.gz(busy)
 *.pdfsync
-
-## Build tool directories for auxiliary files
-# latexrun
 latex.out/
-
-## Auxiliary and intermediate files from other packages:
-# algorithms
 *.alg
 *.loa
-
-# achemso
 acs-*.bib
-
-# amsthm
 *.thm
-
-# beamer
 *.nav
 *.pre
 *.snm
 *.vrb
-
-# changes
 *.soc
-
-# comment
 *.cut
-
-# cprotect
 *.cpt
-
-# elsarticle (documentclass of Elsevier journals)
 *.spl
-
-# endnotes
 *.ent
-
-# fixme
 *.lox
-
-# feynmf/feynmp
 *.mf
 *.mp
 *.t[1-9]
 *.t[1-9][0-9]
 *.tfm
-
-#(r)(e)ledmac/(r)(e)ledpar
 *.end
 *.?end
 *.[1-9]
@@ -106,8 +60,6 @@ acs-*.bib
 *.eledsec[1-9][0-9]R
 *.eledsec[1-9][0-9][0-9]
 *.eledsec[1-9][0-9][0-9]R
-
-# glossaries
 *.acn
 *.acr
 *.glg
@@ -116,46 +68,24 @@ acs-*.bib
 *.glsdefs
 *.lzo
 *.lzs
-
-# uncomment this for glossaries-extra (will ignore makeindex's style files!)
-# *.ist
-
-# gnuplottex
 *-gnuplottex-*
-
-# gregoriotex
 *.gaux
 *.gtex
-
-# htlatex
 *.4ct
 *.4tc
 *.idv
 *.lg
 *.trc
 *.xref
-
-# hyperref
 *.brf
-
-# knitr
 *-concordance.tex
-# TODO Comment the next line if you want to keep your tikz graphics files
 *.tikz
 *-tikzDictionary
-
-# listings
 *.lol
-
-# luatexja-ruby
 *.ltjruby
-
-# makeidx
 *.idx
 *.ilg
 *.ind
-
-# minitoc
 *.maf
 *.mlf
 *.mlt
@@ -163,134 +93,54 @@ acs-*.bib
 *.slf[0-9]*
 *.slt[0-9]*
 *.stc[0-9]*
-
-# minted
 _minted*
 *.pyg
-
-# morewrites
 *.mw
-
-# nomencl
 *.nlg
 *.nlo
 *.nls
-
-# pax
 *.pax
-
-# pdfpcnotes
 *.pdfpc
-
-# sagetex
 *.sagetex.sage
 *.sagetex.py
 *.sagetex.scmd
-
-# scrwfile
 *.wrt
-
-# sympy
 *.sout
 *.sympy
 sympy-plots-for-*.tex/
-
-# pdfcomment
 *.upa
 *.upb
-
-# pythontex
 *.pytxcode
 pythontex-files-*/
-
-# tcolorbox
 *.listing
-
-# thmtools
 *.loe
-
-# TikZ & PGF
 *.dpth
 *.md5
 *.auxlock
-
-# todonotes
 *.tdo
-
-# vhistory
 *.hst
 *.ver
-
-# easy-todo
 *.lod
-
-# xcolor
 *.xcp
-
-# xmpincl
 *.xmpi
-
-# xindy
 *.xdy
-
-# xypic precompiled matrices and outlines
 *.xyc
 *.xyd
-
-# endfloat
 *.ttt
 *.fff
-
-# Latexian
 TSWLatexianTemp*
-
-## Editors:
-# WinEdt
 *.bak
 *.sav
-
-# Texpad
 .texpadtmp
-
-# LyX
 *.lyx~
-
-# Kile
 *.backup
-
-# gummi
 .*.swp
-
-# KBibTeX
 *~[0-9]*
-
-# TeXnicCenter
 *.tps
-
-# auto folder when using emacs and auctex
 ./auto/*
 *.el
-
-# expex forward references with \gathertags
 *-tags.tex
-
-# standalone packages
 *.sta
-
-# Makeindex log files
 *.lpz
-
-# REVTeX puts footnotes in the bibliography by default, unless the nofootinbib
-# option is specified. Footnotes are the stored in a file with suffix Notes.bib.
-# Uncomment the next line to have this generated file ignored.
-#*Notes.bib
-
-### LaTeX Patch ###
-# LIPIcs / OASIcs
 *.vtc
-
-# glossaries
 *.glstex
-
-# End of https://www.toptal.com/developers/gitignore/api/latex
-

Makefile

@@ -9,15 +9,28 @@
 
 .DEFAULT_GOAL := rapport.pdf
 
-%.pdf %.aux %.idx: %.tex
+%.pdf %.aux %.idx: %.tex figs %.bbl
 	pdflatex $<
-	biber $*
 	while grep 'Rerun to get ' $*.log ; do pdflatex $< ; done
 
-clean-all: clean
-	rm -vrf *.pdf
+%.bbl: %.bcf
+	biber $*
+
+%.bcf: %.tex
+	pdflatex $<
+
+figs: figures/comparator.gv figures/ski_combinators.gv figures/simple_graph_reductions.gv
+	cd figures;	./mk_figs.sh
 
 clean:
-	eval rm -vrf $(cat .gitignore)
+	rm -f *.bbl
+	rm -f *.blg
+	rm -f *.out
+	rm -f *.run.xml
+	rm -f *.toc
+	rm -f *.aux
+	rm -f *.bcf
+	rm -f *.log
+	rm -f *.pdf
 
-force: clean-all rapport.pdf
+force: clean rapport.pdf