aboutsummaryrefslogtreecommitdiff
path: root/makefile
AgeCommit message (Expand)Author
2018-12-14generate about.html for cgitRobert Alessi
2018-10-05added sandboxRobert Alessi
2018-09-30makefile: added phony targetsRobert Alessi
2018-09-30improved makefileRobert Alessi
2018-09-27made scripts available in a separate directoryRobert Alessi
2018-09-16still writing 03-grep-bash.texRobert Alessi
2018-09-14removed unnecessary ls-R and adapted makefile so as to fit for different vers...Robert Alessi
2018-09-14added fichiers/02-tableur_bdd.texRobert Alessi
2018-09-12some versions of pandoc do not have --no-tex-ligatures. revert to 90640b8Robert Alessi
2018-09-12pass --no-tex-ligatures to pandocRobert Alessi
2018-09-12updated fichiers/01*.texRobert Alessi
2018-09-10pass -quiet to latexmkRobert Alessi
2018-09-10added pdf: rule in makefileRobert Alessi
2018-09-06improved makefileRobert Alessi
2018-09-06makefile: keep only what is listed in files.txtRobert Alessi
2018-09-04added basic makefileRobert Alessi