# HG changeset patch
# User Thomas Arendsen Hein <thomas@intevation.de>
# Date 1184769980 -7200
# Node ID 7d745e9d2cf03853801a32f4edafcab5e8fe2a4d
# Parent  8535c1770dd308018503ce2a6004cfb540b122d4# Parent  5cbdea5735f46eeff83e73e084532cb6bb8c7f44
merge with main

diff -r 8535c1770dd3 -r 7d745e9d2cf0 doc/Makefile