From 0f5bc8b20d47ded65de59d57c5172ba4eccaf20f Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Tue, 16 Jul 2019 08:02:36 +0200
Subject: [PATCH] Remove rustdoc work-around from
 43a75011be4429f0e69c65362c119f6ef5ec96d5

---
 etc/rustdoc-with-private | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/etc/rustdoc-with-private b/etc/rustdoc-with-private
index c204eb71212..9d3f33c6295 100755
--- a/etc/rustdoc-with-private
+++ b/etc/rustdoc-with-private
@@ -1,11 +1,5 @@
 #!/bin/sh
 
-# Work around https://github.com/rust-lang/rust/issues/62132
-if [ "$2" = "synstructure" -o "$2" = "derivative" ]
-then
-    exit
-fi
-
 # Emit documentation for private items so it is easier to look
 # up internal definitions.
 #