From 023beeae259065f1516a85b6921bb3a579decac9 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 28 Apr 2006 14:23:05 +0000
Subject: git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8762
 85f007b7-540e-0410-9357-904b9bb8a0f7

---
 tools/coqdoc/main.ml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml
index 5fd9ba05a8..6c2757bd8f 100644
--- a/tools/coqdoc/main.ml
+++ b/tools/coqdoc/main.ml
@@ -420,15 +420,15 @@ let index_module = function
 let produce_document l =
   List.iter index_module l;
   (if !target_language=HTML then
-     let src = (Filename.concat Coq_config.coqlib "/tools/coqdoc/coqdoc.css") in
-     let dst = if !output_dir <> "" then Filename.concat !output_dir "coqdoc.css" else "coqdoc.css" in
-       copy src dst);
+    let src = (Filename.concat Coq_config.coqlib "/tools/coqdoc/coqdoc.css") in
+    let dst = if !output_dir <> "" then Filename.concat !output_dir "coqdoc.css" else "coqdoc.css" in
+      copy src dst);
   (if !target_language=LaTeX then
-     let src = (Filename.concat Coq_config.coqlib "/tools/coqdoc/coqdoc.sty") in
-     let dst = if !output_dir <> "" then 
-       Filename.concat !output_dir "coqdoc.sty" 
-     else "coqdoc.sty" in
-       copy src dst);
+    let src = (Filename.concat Coq_config.coqlib "/tools/coqdoc/coqdoc.sty") in
+    let dst = if !output_dir <> "" then 
+      Filename.concat !output_dir "coqdoc.sty" 
+    else "coqdoc.sty" in
+      copy src dst);
   match !out_to with
     | StdOut -> 
 	Cdglobals.out_channel := stdout;
-- 
cgit v1.2.3