From 7f275440a353c21c46a19e81fc805d75e606ed83 Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Wed, 15 Jun 2016 14:20:22 +0000
Subject: [PATCH] Update wikipage Definition file.	(Signed-off-by:alexk).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1588 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../dynamic-library-generation/definition-file.wiki        | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/dynamic-library-generation/definition-file.wiki b/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/dynamic-library-generation/definition-file.wiki
index 9a67fddd..7310dd86 100644
--- a/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/dynamic-library-generation/definition-file.wiki
+++ b/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/dynamic-library-generation/definition-file.wiki
@@ -32,9 +32,7 @@ The syntax is pretty simple when you understand what you need to export a featur
 <code lang=text>
 ROOT_CLASS (make): foo @ 4 Alias my_foo call_type __stdcall</code>
 
-
 ===Constraints===
-<div> 
 * on the class: <div>The class cannot be deferred or generic.</div>
 * on the feature: <div>It could be any feature except an attribute, an external feature or a deferred feature.</div>
 * on the creation procedure: <div>It must have zero argument, and no return type.</div>
@@ -63,8 +61,3 @@ BAR (make_a) : print_bar
 ROOT_CLASS : make
 ROOT_CLASS (make) : foo
 ROOT_CLASS (make) : test_bar</code>
-
-</div>
-
-
-