From 18bb25bdf1ee255b5b260492ff9a2f46191fb6d7 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Thu, 4 Sep 1997 16:36:32 +0000
Subject: [PATCH] Fix for dashes in comments.

---
 src/PGINDENT | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/PGINDENT b/src/PGINDENT
index 417b5923d33..522845c10eb 100644
--- a/src/PGINDENT
+++ b/src/PGINDENT
@@ -15,10 +15,10 @@ fi
 for FILE
 do
 	cat $FILE |
-	sed 's;/\*  *---;/*---;g' |
+	sed 's;/\*  *---;/*---X_X;g' |
 	indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \
 		-lp -nip -nbc -psl -di1 -i4 -l75 -st |
 	detab -t8 |
 	entab -qc -t4 |
-	sed 's;/\*---;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE
+	sed 's;/\*---X_X;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE
 done
-- 
GitLab