Addendum to: > Unfortunately, 'indent' introduced tabs. In Gnulib, we indent with spaces, > not tabs (except in Makefiles and ChangeLog).
We have some documentation about this: https://www.gnu.org/software/gnulib/manual/html_node/Indent-with-spaces-not-TABs.html Bruno
