From 9e5cecf3695644056508507af7033505f5396400 Mon Sep 17 00:00:00 2001 From: apvrille <ludovic.apvrille@eurecom.fr> Date: Wed, 15 Jan 2020 17:45:16 +0100 Subject: [PATCH] Update on Makefile for codegeneration: removing bibtex command --- doc/codegeneration/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/codegeneration/Makefile b/doc/codegeneration/Makefile index 63d685f14b..453f7c3ef0 100644 --- a/doc/codegeneration/Makefile +++ b/doc/codegeneration/Makefile @@ -1,7 +1,7 @@ # Tools LATEXFLAGS ?= -interaction=nonstopmode -file-line-error PDFLATEX = pdflatex $(LATEXFLAGS) -BIBTEX = bibtex +BIBTEX = FIG2DEV = fig2dev RUBBER ?= $(shell which rubber 2> /dev/null) RUBBERFLAGS = --pdf --short --warn refs --warn misc -q -- GitLab