diff --git a/Documentation/html_output_post_processing.py b/Documentation/html_output_post_processing.py index eb6b9b4f521..56cdd7674c9 100755 --- a/Documentation/html_output_post_processing.py +++ b/Documentation/html_output_post_processing.py @@ -348,6 +348,8 @@ removes some unneeded files, and performs minor repair on some glitches.''') canonical_link="\n" re_replace_first_in_file(r'
', r'\n'+canonical_link+"\n", "Manual/how_to_cite.html") + #copy deprecated.html + shutil.copy(path.join(resources_absdir,"deprecated.html"),path.join("Manual/", "deprecated.html")) if __name__ == "__main__": main() diff --git a/Documentation/resources/deprecated.html b/Documentation/resources/deprecated.html new file mode 100644 index 00000000000..60d1c4e90bc --- /dev/null +++ b/Documentation/resources/deprecated.html @@ -0,0 +1,146 @@ + + + + + +|
+ CGAL 4.3 - Manual
+
+ |
+
The documentation page you are trying to reach has been removed from the documentation since CGAL 4.3 because it was deprecated
+