From 2f772c3347c45cb5173472924a69ab83dd9da626 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 27 Apr 2016 22:13:02 +0200
Subject: Revert "Revert "Re-add -beautify by default.""

This reverts commit 67335c832a55cbd0ca559906bbe1af2485241353.
---
 Makefile.build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index b551242f6b..3227d9e9ee 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -82,7 +82,7 @@ STDTIME=/usr/bin/time -f "$* (user: %U mem: %M ko)"
 TIMER=$(if $(TIMED), $(STDTIME), $(TIMECMD))
 
 COQOPTS=$(COQ_XML) $(VM) $(NATIVECOMPUTE)
-BOOTCOQC=$(TIMER) $(COQTOPEXE) -boot $(COQOPTS) -compile
+BOOTCOQC=$(TIMER) $(COQTOPEXE) -boot $(COQOPTS) -beautify -compile
 
 # The SHOW and HIDE variables control whether make will echo complete commands 
 # or only abbreviated versions. 
@@ -502,7 +502,7 @@ BEAUTIFIED=$(THEORIESVO) $(PLUGINSVO)
 TOBEAUTIFY=$(BEAUTIFIED:.vo=.v.beautified)
 
 check-beautify: $(TOBEAUTIFY)
-	@echo Upgrading with beautified files
+	@echo Upgrading beautified files
 	$(HIDE)for i in $(TOBEAUTIFY);\
 	do j=`dirname $$i`/`basename $$i .v.beautified`.v;\
 	  mv -f $$j $$j.backup;\
-- 
cgit v1.2.3