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.
http://www.zeno.org/Adelung-1793. 1793–1801.
Gries, der — Der Gries, des es, plur. von mehrern Arten und Quantitäten, die e, ein Wort, welches so wie Graus überhaupt einen jeden klein gemalmeten, aber doch nicht in Staub verwandelten harten Körper bedeutet, und besonders in folgenden besondern Fällen… … Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart
