summaryrefslogtreecommitdiff
path: root/embed.pl
diff options
context:
space:
mode:
Diffstat (limited to 'embed.pl')
-rwxr-xr-xembed.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/embed.pl b/embed.pl
index 9557a2b369..cb2b4a71db 100755
--- a/embed.pl
+++ b/embed.pl
@@ -1260,6 +1260,8 @@ _EOE_
close(DOC);
+unlink "pod/perlintern.pod";
+
open(GUTS, ">pod/perlintern.pod") or
die "Unable to create pod/perlintern.pod: $!\n";
print GUTS <<'END';