From 053bf4c7f93df0cdb8caff1e5200aaccfe77ce7f Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Thu, 16 Jan 2020 10:45:21 +0100
Subject: [PATCH] Update on Mafile for dev infras.

---
 doc/dev_infrastructure/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/dev_infrastructure/Makefile b/doc/dev_infrastructure/Makefile
index 05555d401b..8c42622e1a 100644
--- a/doc/dev_infrastructure/Makefile
+++ b/doc/dev_infrastructure/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
-- 
GitLab