diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 2d95e7126..5a9538034 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -22,9 +22,14 @@ EXTRA_DIST = DETAILS faq.raw FAQ faq.html \ gpg.texi gpgv.texi specify-user-id.texi see-also-note.texi \ opt-homedir.texi texi.css yat2m.c gpl.texi gpg-zip.1 + myman_sources = gpg.texi gpgv.texi myman_pages = gpg.1 gpgv.1 + +sources_from_trunk = $(myman_sources) \ + opt-homedir.texi specify-user-id.texi see-also-note.texi + info_TEXINFOS = gnupg1.texi man_MANS = $(myman_pages) gnupg.7 gpg.ru.1 gpg-zip.1 @@ -105,3 +110,14 @@ endif dist-hook: @if test "`wc -c < gpg.1`" -lt 200; then \ echo 'ERROR: dummy man page'; false; fi + +# Helper to update some source files. +update-source-from-gnupg-2: + @set -e; \ + if test -d ../../gnupg/scd; then dir="../../gnupg"; \ + else exit 1; \ + fi; \ + for i in $(sources_from_trunk); do \ + cp $$dir/doc/$$i $$i; echo $$i; \ + done ;\ + echo "Please remember to update the ChangeLog!" |