diff options
| author | Jim Meyering <meyering@redhat.com> | 2009-12-20 15:06:13 +0100 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2009-12-20 15:33:39 +0100 |
| commit | 0870e1d7bb412c41c7d772493c1b976374b87bb9 (patch) | |
| tree | acd331a2d8af2cb52098079ac49b67620df6c237 /cfg.mk | |
| parent | 8d2f8c7376c9336c53077d01eb8ea3dc263b44ec (diff) | |
| download | parted-0870e1d7bb412c41c7d772493c1b976374b87bb9.tar.gz | |
maint: make build-aux/gnu-web-doc-update work
* cfg.mk (manual_title): Define.
* doc/parted.texi (Concept index): Rename from "Index".
Remove @ifnotplaintext..@end around its menu entry.
Diffstat (limited to 'cfg.mk')
| -rw-r--r-- | cfg.mk | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -24,6 +24,9 @@ gnu_rel_host = $(gnu_ftp_host-$(RELEASE_TYPE)) url_dir_list = \ ftp://$(gnu_rel_host)/gnu/parted +# Used in maint.mk's web-manual rule +manual_title = Parted User's Manual + # The GnuPG ID of the key used to sign the tarballs. gpg_key_ID = B9AB9A16 |