diff options
| author | rillig <rillig@pkgsrc.org> | 2020-02-23 18:09:36 +0000 |
|---|---|---|
| committer | rillig <rillig@pkgsrc.org> | 2020-02-23 18:09:36 +0000 |
| commit | fa933f8d60c24e327c8acfc011b1b6c8d7d416a0 (patch) | |
| tree | 852daaecb1d0f53d46cbb3f12779fac2684e2f9d | |
| parent | ad3f0611d48f2bcf2014ce395915bfb04336bef0 (diff) | |
| download | pkgsrc-fa933f8d60c24e327c8acfc011b1b6c8d7d416a0.tar.gz | |
doc/guide: document why autogenerated IDs are forbidden
| -rw-r--r-- | doc/guide/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/guide/Makefile b/doc/guide/Makefile index 3e98ae5404c..15843307f13 100644 --- a/doc/guide/Makefile +++ b/doc/guide/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.60 2020/02/23 17:43:20 rillig Exp $ +# $NetBSD: Makefile,v 1.61 2020/02/23 18:09:36 rillig Exp $ DISTNAME= pkgsrc-guide-${PKGVERSION} CATEGORIES= # empty @@ -83,6 +83,8 @@ post-build: ${RUN} cd ${WRKSRC}; \ ${GREP} 'idm[0-9][0-9][0-9][0-9][0-9]' ./*.html || exit 0; \ ${FAIL_MSG} "[post-build] HTML files contain generated IDs." + # These IDs generate unnecessary changes to the generated files, + # when they are committed to pkgsrc/doc/ and htdocs. do-install: .if !empty(OUTPUTS:Mhtml) || !empty(OUTPUTS:Mhtml-split) |