From 2170e62f73f5ace44d55af2a15daac117cb913ec Mon Sep 17 00:00:00 2001
From: mnodine <mnodine@929543f6-e4f2-0310-98a6-ba3bd3dd1d04>
Date: Wed, 31 May 2006 14:17:48 +0000
Subject: [PATCH] Allow prest to be either "prest" or "prest.prl".

git-svn-id: https://docutils.svn.sourceforge.net/svnroot/docutils/trunk/prest@4583 929543f6-e4f2-0310-98a6-ba3bd3dd1d04
---
 tbin/rehtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tbin/rehtml b/tbin/rehtml
index 44093d6fc..7e827548b 100755
--- a/tbin/rehtml
+++ b/tbin/rehtml
@@ -24,9 +24,9 @@ s!(\d{4})([-/])(\d{2})\2(\d{2})$timere!\\d{4}[-/\]\\d{2}\[-/\]\\d{2}$time!go;
 # Handle the docutils string
 s/"Docutils[^\"]+"/".*"/g;
 # Handle the prest string
-s/"prest\\.prl[^\"]+"/".*"/g;
+s/"prest(\\.prl)?[^\"]+"/".*"/g;
 # Handle the prest version
-s/(prest\\.prl release )\S+/${1}\\S+/g;
+s/(prest)(\\.prl)?( release )\S+/${1}(${2})?${3}\\S+/g;
 # Accommodate different stylesheets
 s|(<link rel="stylesheet" href=")[^\"]*(" type="text/css" />)|$1.*$2|;
 # Get rid of junque characters in generated section numbers
-- 
2.11.4.GIT