From f8f6ea70c4ed1bb4f633ea30f0792c8b92b8f0ba Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Mon, 29 Oct 2001 16:08:05 +0000
Subject: [PATCH] *** empty log message ***
---
doc/Makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/Makefile b/doc/Makefile
index 28f91ec995..99b0848cce 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile,v 1.2 2000-11-25 15:26:12 geuzaine Exp $
+# $Id: Makefile,v 1.3 2001-10-29 16:08:05 geuzaine Exp $
RM = rm
RMFLAGS = -f
@@ -37,6 +37,6 @@ clean:
$(RM) $(RMFLAGS) *.cp* *.fn* *.ky* *.pg* *.tp* *.vr* *.mv* \
*.log *.toc *.aux \
*.dvi *.ps gmsh.pdf \
- *.html *.info* gmsh-info.tgz*
+ *.info* gmsh-info.tgz*
--
GitLab