diff doc/Makefile @ 3411:f30b238d9c45

jp: follow best practices and use a dash (`-`) instead of underscore (`_`) for long options.
author Goffi <goffi@goffi.org>
date Thu, 12 Nov 2020 14:53:16 +0100
parents ce16847a7b6d
children
line wrap: on
line diff