From 07c3f00b142fd5ee011909c55665469a268cd572 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Mon, 26 Nov 2001 21:42:24 +0000
Subject: [PATCH] Rename find_baddefs to find_badmacros
---
doc/src/FAQ/FAQ_DEV.html | 15 ++++++++++-----
src/tools/{find_baddefs => find_badmacros} | 0
2 files changed, 10 insertions(+), 5 deletions(-)
rename src/tools/{find_baddefs => find_badmacros} (100%)
diff --git a/doc/src/FAQ/FAQ_DEV.html b/doc/src/FAQ/FAQ_DEV.html
index 179f6168438..94306bdbe45 100644
--- a/doc/src/FAQ/FAQ_DEV.html
+++ b/doc/src/FAQ/FAQ_DEV.html
@@ -76,6 +76,7 @@
make_mkid make mkid ID files
mkldexport create AIX exports file
pgindent indents C source files
+ pgjindent indents Java source files
pginclude scripts for adding/removing include files
unused_oids in pgsql/src/include/catalog
</PRE>
@@ -112,7 +113,7 @@
Others prefer <I>glimpse.</I>
<P><I>make_diff</I> has tools to create patch diff files that can
- be applied to the distribution. This produces context diffs, which
+ be applied to the distribution. This produces context diffs, which
is our preferred format.</P>
<P>Our standard format is to indent each code level with one tab,
@@ -163,10 +164,14 @@
consistent. Comment blocks that need specific line breaks should be
formatted as <I>block comments,</I> where the comment starts as
<CODE>/*------</CODE>. These comments will not be reformatted in
- any way. <I>pginclude</I> contains scripts used to add needed
- #include's to include files, and removed unneeded #include's. When
- adding system types, you will need to assign oids to them. There is
- also a script called <I>unused_oids</I> in
+ any way.</P>
+
+ <P><I>pginclude</I> contains scripts used to add needed
+ <CODE>#include</CODE>'s to include files, and removed unneeded
+ <CODE>#include</CODE>'s.</P>
+
+ <P>When adding system types, you will need to assign oids to them.
+ There is also a script called <I>unused_oids</I> in
<I>pgsql/src/include/catalog</I> that shows the unused oids.</P>
<H3><A name="2">2</A>) What books are good for developers?</H3>
diff --git a/src/tools/find_baddefs b/src/tools/find_badmacros
similarity index 100%
rename from src/tools/find_baddefs
rename to src/tools/find_badmacros
--
GitLab