From 0fb97de232866adbec1d7eb14e33fa4a7b15fc31 Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 16 Jul 2001 14:15:03 +0000
Subject: all.g.ps -> all-gal.ps

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1855 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq_makefile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/coq_makefile.ml')

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index dd4a51365..9f1e178a5 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -279,7 +279,7 @@ let all_target l =
     print "gallinahtml: $(GHTMLFILES)\n\n";
     print "all.ps: $(VFILES)\n";
     print "\t$(COQWEB) -ps -o $@ `$(COQDEP) -sort -suffix .v $(VFILES)`\n\n";
-    print "all.g.ps: $(GFILES)\n";
+    print "all-gal.ps: $(GFILES)\n";
     print "\t$(COQWEB) -ps -o $@ `$(COQDEP) -sort -suffix .g $(VFILES)`\n\n";
     print "xml:: .xml_time_stamp\n";
     print ".xml_time_stamp: "; print_list "\\\n  " (vofiles l);
-- 
cgit v1.2.3