From 9d0f82aeae3942cd1e053b890340641185869102 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Sat, 13 Feb 2021 06:17:06 +0000 Subject: [PATCH] minor edit re customization Updated wikipage Producing and Exporting Documentation. (Signed-off-by:RTH10260). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2302 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../Tutorials/producing-and-exporting-documentation.wiki | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/documentation/20.11/eiffelstudio/Tutorials/producing-and-exporting-documentation.wiki b/documentation/20.11/eiffelstudio/Tutorials/producing-and-exporting-documentation.wiki index 15cfcf78..2e8bf73d 100644 --- a/documentation/20.11/eiffelstudio/Tutorials/producing-and-exporting-documentation.wiki +++ b/documentation/20.11/eiffelstudio/Tutorials/producing-and-exporting-documentation.wiki @@ -1,4 +1,4 @@ -[[Property:modification_date|Fri, 12 Feb 2021 15:00:42 GMT]] +[[Property:modification_date|Sat, 13 Feb 2021 06:17:06 GMT]] [[Property:publication_date|Mon, 08 Feb 2021 02:10:40 GMT]] [[Property:title|Producing and Exporting Documentation]] [[Property:weight|-7]] @@ -46,7 +46,7 @@ The filter names correspond to major documentation formats which EiffelStudio su Not only do these predefined filters provide support for a number of important industry formats; better yet, if you want another format not represented on the list, or would like to adapt an existing format to your own style preferences, it's easy to define a new filter. The list that EiffelStudio displays comes from the files with a .fil extension that it finds in a subdirectory of the installation: $ISE_EIFFEL/studio/filters -To define a new filter, simply add a file to this directory. Filters are expressed in a simple notation called EFF ( Eiffel Filter Format ), general enough to support a wide variety of tools for text processing, project management, Web publishing etc. The best way to define a new filter is usually to start from an existing one and adapt it. You will find the specification of EFF at the end of this manual, [[APPENDIX: WRITING DOCUMENTATION FILTERS WITH EFF, THE EIFFEL FILTER FORMAT|here]] . +To define a new filter, simply add a file to this directory. Filters are expressed in a simple notation called EFF ( Eiffel Filter Format ), general enough to support a wide variety of tools for text processing, project management, Web publishing etc. The best way to define a new filter is usually to start from an existing one and adapt it. More on customization [[#Customization|below]] . ==Generating an HTML record of your project==