From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from hamza.pair.com (hamza.pair.com [209.68.5.143]) by server2.sourceware.org (Postfix) with ESMTPS id 5E0813944406 for ; Mon, 9 Mar 2020 09:48:36 +0000 (GMT) Received: from hamza.pair.com (localhost [127.0.0.1]) by hamza.pair.com (Postfix) with ESMTP id 03AEA33E1C for ; Mon, 9 Mar 2020 05:48:36 -0400 (EDT) Received: from anthias (unknown [77.118.128.58]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by hamza.pair.com (Postfix) with ESMTPSA id 7D27933E1B for ; Mon, 9 Mar 2020 05:48:35 -0400 (EDT) Date: Mon, 9 Mar 2020 10:47:28 +0100 (CET) From: Gerald Pfeifer To: overseers@gcc.gnu.org Subject: gcc.gnu.org += makeinfo Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00, SPF_HELO_NONE, SPF_PASS autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: overseers@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Overseers mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 09 Mar 2020 09:48:36 -0000 /home/gccadmin/scripts/update_web_docs_git is run nightly from the gccadmin account to provide GCC's documentation on our web site. On the new system it fails as follows: update_web_docs_git: line 171: makeinfo: command not found The info rpm is installed (which covers reading documentation in .info format). Do RHEL/CentOS also provide a makeinfo rpm? Gerald