1 files changed, 8 insertions, 2 deletions
diff --git a/html/haddock-util.js b/html/haddock-util.js
index e9e4f64d..92974417 100644
--- a/html/haddock-util.js
+++ b/html/haddock-util.js
@@ -211,10 +211,16 @@ function addMenuItem(html) {
   }
 }
 
-function addFramesButton() {
+function adjustForFrames() {
   if (parent.location.href == window.location.href) {
+    // not in frames, so add Frames button
     addMenuItem("<a href='#' onclick='reframe();return true;'>Frames</a>");
   }
+  else {
+    // in frames, remove synopsis
+    var syn = document.getElementById("synopsis");
+    if (syn) { syn.parentNode.removeChild(syn); }
+  }
 }
 
 function reframe() {
@@ -282,7 +288,7 @@ function styleMenu(show) {
 
 function pageLoad() {
   addStyleMenu();
-  addFramesButton();
+  adjustForFrames();
   resetStyle();
 }