From c2249c3b4c3387a3c8510e68fc447274d7299695 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 9 Apr 2016 17:27:53 +0200
Subject: Adding a target for beautification.

---
 Makefile.build | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Makefile.build b/Makefile.build
index 190a62d000..6a25eda754 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -1105,6 +1105,16 @@ 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