summaryrefslogtreecommitdiff
path: root/gnu/lib/libgmp
diff options
context:
space:
mode:
authorJordan K. Hubbard <jkh@FreeBSD.org>1997-01-14 07:20:47 +0000
committerJordan K. Hubbard <jkh@FreeBSD.org>1997-01-14 07:20:47 +0000
commit1130b656e5fe4c2d1ba299e024d1b40eaeebd380 (patch)
tree1ee435de0c816086549d85bbabfe30ead7f413ec /gnu/lib/libgmp
parentaac45e814cf997f0df77795a3c06385075ef005a (diff)
Notes
Diffstat (limited to 'gnu/lib/libgmp')
-rw-r--r--gnu/lib/libgmp/Makefile2
-rw-r--r--gnu/lib/libgmp/Makefile.inc2
-rw-r--r--gnu/lib/libgmp/doc/Makefile2
3 files changed, 3 insertions, 3 deletions
diff --git a/gnu/lib/libgmp/Makefile b/gnu/lib/libgmp/Makefile
index 86ac039b370b..5fcf9090e50c 100644
--- a/gnu/lib/libgmp/Makefile
+++ b/gnu/lib/libgmp/Makefile
@@ -1,5 +1,5 @@
#
-# $Id: Makefile,v 1.7 1996/10/20 09:27:45 markm Exp $
+# $FreeBSD$
#
LIB= gmp
diff --git a/gnu/lib/libgmp/Makefile.inc b/gnu/lib/libgmp/Makefile.inc
index b60fe3c7b171..f433aca6d22a 100644
--- a/gnu/lib/libgmp/Makefile.inc
+++ b/gnu/lib/libgmp/Makefile.inc
@@ -1,5 +1,5 @@
#
-# $Id$
+# $FreeBSD$
#
SHLIB_MAJOR= 3
diff --git a/gnu/lib/libgmp/doc/Makefile b/gnu/lib/libgmp/doc/Makefile
index 7775117d60f3..b78785523773 100644
--- a/gnu/lib/libgmp/doc/Makefile
+++ b/gnu/lib/libgmp/doc/Makefile
@@ -1,5 +1,5 @@
#
-# $Id: Makefile,v 1.3 1996/10/20 09:28:03 markm Exp $
+# $FreeBSD$
#
INFO = gmp
INFOSECTION= "Programming & development tools."