diff options
| -rw-r--r-- | share/www/document.html | 2 | 
1 files changed, 1 insertions, 1 deletions
diff --git a/share/www/document.html b/share/www/document.html index ee0f3475..ed4fd4ee 100644 --- a/share/www/document.html +++ b/share/www/document.html @@ -44,7 +44,7 @@ specific language governing permissions and limitations under the License.        $(function() {          $("h1 a.dbname").text(encodeURIComponent(page.dbName))            .attr("href", "database.html?" + encodeURIComponent(page.db.name)); -        $("h1 strong").text(encodeURIComponent(page.docId)); +        $("h1 strong").text(encodeURIComponent(page.docId).replace(/%2[Ff]/, "/"));          $("h1 a.raw").attr("href", "/" + encodeURIComponent(page.db.name) +            "/" + encodeURIComponent(page.docId));          page.updateFieldListing();  | 
