From ce802a406e0667d02fb03571659ef7308fba3427 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 27 Apr 2016 22:13:04 +0200
Subject: Revert "Adding a target for beautification."

This reverts commit c2249c3b4c3387a3c8510e68fc447274d7299695.
---
 Makefile.build | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index 6a25eda754..190a62d000 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -1105,16 +1105,6 @@ dev/%.mllib.d: $(D_DEPEND_BEFORE_SRC) dev/%.mllib $(D_DEPEND_AFTER_SRC) $(OCAMLL
 	$(SHOW)'CCDEP     $<'
 	$(HIDE)$(OCAMLC) -ccopt "-MM -MQ $@ -MQ $(<:.c=.o) -isystem $(CAMLHLIB)" $< $(TOTARGET)
 
-theories/Init/%.v.beautified: theories/Init/%.v $(VO_TOOLS_DEP) | theories/Init/%.v.d
-	$(SHOW)'COQC -beautify -noinit $<'
-	$(HIDE)rm -f theories/Init/$*.glob
-	$(HIDE)$(BOOTCOQC) $< -beautify -noinit -R theories Coq
-
-%.v.beautified: %.v | %.v.d
-	$(SHOW)'COQC -beautify $<'
-	$(HIDE)rm -f $*.glob
-	$(HIDE)$(BOOTCOQC) $< -beautify
-
 ###########################################################################
 # this sets up developper supporting stuff
 ###########################################################################
-- 
cgit v1.2.3