[799]Die Griesdocke, plur. die -n, Docken oder kleine Säulen zwischen den Griessäulen auf den Fachbäumen an den Mühlen und Wasserwehren, zwischen welchen sich die Schutzbreter befinden. S. Griessäule.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 2. Leipzig 1796, S. 799.