diff --git a/doc/img/Screenshot from 2018-11-19 21-55-26.png b/doc/img/pr1.png similarity index 100% rename from doc/img/Screenshot from 2018-11-19 21-55-26.png rename to doc/img/pr1.png diff --git a/doc/img/Screenshot from 2018-11-19 21-57-05.png b/doc/img/pr2.png similarity index 100% rename from doc/img/Screenshot from 2018-11-19 21-57-05.png rename to doc/img/pr2.png diff --git a/doc/img/Screenshot from 2018-11-19 21-57-23.png b/doc/img/pr3.png similarity index 100% rename from doc/img/Screenshot from 2018-11-19 21-57-23.png rename to doc/img/pr3.png diff --git a/doc/img/Screenshot from 2018-11-19 21-59-05.png b/doc/img/pr4.png similarity index 100% rename from doc/img/Screenshot from 2018-11-19 21-59-05.png rename to doc/img/pr4.png diff --git a/doc/img/Screenshot from 2018-11-19 21-59-32.png b/doc/img/pr5.png similarity index 100% rename from doc/img/Screenshot from 2018-11-19 21-59-32.png rename to doc/img/pr5.png diff --git a/src/tex/allRefs.tex b/src/tex/allRefs.tex index 020cfa864d202cba31c03aeaf8b7f170c39cd294..142e9bf77ea92174ab540380a311396a5b2e5fc3 100755 --- a/src/tex/allRefs.tex +++ b/src/tex/allRefs.tex @@ -9,6 +9,21 @@ mincitenames=2, ]{biblatex} \addbibresource{../../gipp.bib} \begin{document} + \section{JabRef workaround} + + Do your change in Jabref + + Make a pull request + + Wait for BibBot to correct the formatting + + Merge the PR + + Option a (squash merge) you will need to do a fresh checkout afterwards + + Option b (rebase merge or merge commit) the history will contain the intermediate chage cause by jabref. + This will cause problems with git blame, since the lines you change won't be attributed to you. + This document is supposed to use \verb \nocite{*} \verb to cite all bibtex entries. However, currently some bibtex entries simply do not work. Thus only selected bibtex entries are printed. \nocite{*}