From 1011ec146df8c34475878d5e614df2a3fcfe0f6f Mon Sep 17 00:00:00 2001 From: Peter Verthez Date: Thu, 12 Sep 2002 15:28:21 +0000 Subject: [PATCH] Renamed make_xref to make_gom_xref. --- doc/Makefile.am | 2 +- doc/{make_xref => make_gom_xref} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename doc/{make_xref => make_gom_xref} (100%) diff --git a/doc/Makefile.am b/doc/Makefile.am index 8303e39..736fb69 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -17,4 +17,4 @@ dist-hook: $(replace-VERSION) gomxref.html: $(srcdir)/../include/gom.h - ./make_xref + ./make_gom_xref diff --git a/doc/make_xref b/doc/make_gom_xref similarity index 100% rename from doc/make_xref rename to doc/make_gom_xref -- 2.30.2