Generated page

This page is generated by a Python script:

import sys, os

from eclaircie import *

dest_filename = os.path.join(os.path.dirname(__file__), "generated_page.rst")

if need_update([__file__], [dest_filename]):
    write_file(dest_filename, " < put your text here > ")