1 # Copyright (C) 2002-2022 Free Software Foundation, Inc.
3 # This file is free software; you can redistribute it and/or modify
4 # it under the terms of the GNU General Public License as published by
5 # the Free Software Foundation, either version 3 of the License, or
6 # (at your option) any later version.
8 # This file is distributed in the hope that it will be useful,
9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 # GNU General Public License for more details.
13 # You should have received a copy of the GNU General Public License
14 # along with this file. If not, see <https://www.gnu.org/licenses/>.
16 # As a special exception to the GNU General Public License,
17 # this file may be distributed as part of a program that
18 # contains a configuration script generated by Autoconf, under
19 # the same distribution terms as the rest of that program.
21 ## begin gnulib module gen-header (2022-02-23)
23 # In 'sed', replace the pattern space with a "DO NOT EDIT" comment.
24 SED_HEADER_NOEDIT = s,.*,/* DO NOT EDIT! GENERATED AUTOMATICALLY! */,
26 # '$(SED_HEADER_STDOUT) -e "..."' runs 'sed' but first outputs "DO NOT EDIT".
27 SED_HEADER_STDOUT = sed -e 1h -e '1$(SED_HEADER_NOEDIT)' -e 1G
29 # '$(SED_HEADER_TO_AT_t) FILE' copies FILE to $@-t, prepending a leading
30 # "DO_NOT_EDIT". Although this could be done more simply via:
31 # SED_HEADER_TO_AT_t = $(SED_HEADER_STDOUT) > $@-t
32 # the -n and 'w' avoid a fork+exec, at least when GNU Make is used.
33 SED_HEADER_TO_AT_t = $(SED_HEADER_STDOUT) -n -e 'w $@-t'
35 # Use $(gl_V_at) instead of $(AM_V_GEN) or $(AM_V_at) on a line that
38 ## end gnulib module gen-header