From 45de05d0ea9740f14c58dfd67436ddbea03c6a49 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 13 Jun 2016 23:50:04 +0200
Subject: Revert "Strip some trailing spaces"

This reverts commit 45748e4efae8630cc13b0199dfcc9803341e8cd8.
---
 Makefile.common | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 37db66be3e..e2f67226b9 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -12,7 +12,7 @@
 # Executables
 ###########################################################################
 
-COQMKTOP:=bin/coqmktop$(EXE)
+COQMKTOP:=bin/coqmktop$(EXE) 
 
 COQC:=bin/coqc$(EXE)
 
@@ -35,7 +35,7 @@ else
 endif
 
 INSTALLBIN:=install
-INSTALLLIB:=install -m 644
+INSTALLLIB:=install -m 644 
 INSTALLSH:=./install.sh
 MKDIR:=install -d
 
@@ -119,7 +119,7 @@ HTMLSTYLE:=simple
 export TEXINPUTS:=$(HEVEALIB):
 COQTEXOPTS:=-boot -n 72 -sl -small
 
-DOCCOMMON:=doc/common/version.tex doc/common/title.tex doc/common/macros.tex
+DOCCOMMON:=doc/common/version.tex doc/common/title.tex doc/common/macros.tex 
 
 REFMANCOQTEXFILES:=$(addprefix doc/refman/, \
   RefMan-gal.v.tex RefMan-ext.v.tex \
@@ -149,7 +149,7 @@ REFMANPNGFILES:=$(REFMANEPSFILES:.eps=.png)
 
 
 ###########################################################################
-# Object and Source files
+# Object and Source files 
 ###########################################################################
 
 COQRUN := coqrun
@@ -394,7 +394,7 @@ GTKBIN=$(shell pkg-config --variable=prefix gtk+-2.0)/bin
 GTKLIBS=$(shell pkg-config --variable=libdir gtk+-2.0)
 
 
-# For emacs:
-# Local Variables:
-# mode: makefile
+# For emacs: 
+# Local Variables: 
+# mode: makefile 
 # End:
-- 
cgit v1.2.3