Don't render synopsis of include items

Removes the exception added in the previous commit. We don't fallback to
rendering the synopsis when there is no documentation attached.

Author: Julow

src/document/generator.ml

@@ -1536,7 +1536,7 @@ module Make (Syntax : SYNTAX) = struct
         | ModuleType mt -> umty mt
       in
 
-      let sg_doc, content = signature t.expansion.content in
+      let _, content = signature t.expansion.content in
       let summary =
         O.render
           (O.keyword "include" ++ O.txt " " ++ include_decl
@@ -1550,10 +1550,8 @@ module Make (Syntax : SYNTAX) = struct
            declarations, which show only the synopsis. We can't only show the
            synopsis because no page is generated to render it and we'd loose
            the full documentation.
-           As an exception, the synopsis from the expansion is used iff there
-           is no documentation. *)
-        if t.doc <> [] then Comment.to_ir t.doc
-        else Comment.synopsis ~decl_doc:[] ~expansion_doc:(Some sg_doc)
+           The documentation from the expansion is not used. *)
+        Comment.to_ir t.doc
       in
       Item.Include { attr; anchor; doc; content }
   end

test/html/expect/test_package+ml/Include2/Y_include_synopsis/index.html

@@ -27,11 +27,6 @@ <h1>
   </header>
   <div class="odoc-content">
    <div class="odoc-include">
-    <div class="spec-doc">
-     <p>
-      Top-comment of Y.
-     </p>
-    </div>
     <details open="open">
      <summary class="spec include">
       <code><span><span class="keyword">include</span> <span class="keyword">module</span> <span class="keyword">type</span> <span class="keyword">of</span> <span class="keyword">struct</span> <span class="keyword">include</span> <a href="../Y/index.html">Y</a> <span class="keyword">end</span></span></code>

test/html/expect/test_package+re/Include2/Y_include_synopsis/index.html

@@ -27,11 +27,6 @@ <h1>
   </header>
   <div class="odoc-content">
    <div class="odoc-include">
-    <div class="spec-doc">
-     <p>
-      Top-comment of Y.
-     </p>
-    </div>
     <details open="open">
      <summary class="spec include">
       <code><span><span class="keyword">include</span> <span class="keyword">module</span> <span class="keyword">type</span> <span class="keyword">of</span> <span class="keyword">struct</span> <span class="keyword">include</span> <a href="../Y/index.html">Y</a> <span class="keyword">end</span><span class="keyword">;</span></span></code>

test/latex/expect/test_package+ml/Include2.tex

@@ -10,7 +10,7 @@ \section{Module \ocamlinlinecode{Include2}}\label{container-page-test+u+package+
 \end{ocamlindent}%
 \ocamlcodefragment{\ocamltag{keyword}{end}}\begin{ocamlindent}Top-comment of Y.\end{ocamlindent}%
 \medbreak
-\label{container-page-test+u+package+++ml-module-Include2-module-Y+u+include+u+synopsis}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[container-page-test+u+package+++ml-module-Include2-module-Y+u+include+u+synopsis]{\ocamlinlinecode{Y\_\allowbreak{}include\_\allowbreak{}synopsis}}}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}Top-comment of Y.\ocamltag{keyword}{include} \ocamltag{keyword}{module} \ocamltag{keyword}{type} \ocamltag{keyword}{of} \ocamltag{keyword}{struct} \ocamltag{keyword}{include} \hyperref[container-page-test+u+package+++ml-module-Include2-module-Y]{\ocamlinlinecode{Y}} \ocamltag{keyword}{end}\label{container-page-test+u+package+++ml-module-Include2-module-Y+u+include+u+synopsis-type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t = \hyperref[container-page-test+u+package+++ml-module-Include2-module-Y-type-t]{\ocamlinlinecode{Y.\allowbreak{}t}}}\\
+\label{container-page-test+u+package+++ml-module-Include2-module-Y+u+include+u+synopsis}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[container-page-test+u+package+++ml-module-Include2-module-Y+u+include+u+synopsis]{\ocamlinlinecode{Y\_\allowbreak{}include\_\allowbreak{}synopsis}}}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\ocamltag{keyword}{include} \ocamltag{keyword}{module} \ocamltag{keyword}{type} \ocamltag{keyword}{of} \ocamltag{keyword}{struct} \ocamltag{keyword}{include} \hyperref[container-page-test+u+package+++ml-module-Include2-module-Y]{\ocamlinlinecode{Y}} \ocamltag{keyword}{end}\label{container-page-test+u+package+++ml-module-Include2-module-Y+u+include+u+synopsis-type-t}\ocamlcodefragment{\ocamltag{keyword}{type} t = \hyperref[container-page-test+u+package+++ml-module-Include2-module-Y-type-t]{\ocamlinlinecode{Y.\allowbreak{}t}}}\\
 \end{ocamlindent}%
 \ocamlcodefragment{\ocamltag{keyword}{end}}\begin{ocamlindent}The \ocamlinlinecode{include Y} below should have the synopsis from \ocamlinlinecode{Y}'s top-comment attached to it.\end{ocamlindent}%
 \medbreak