Date: Thu, 9 Oct 1997 22:14:13 +0200 (MET DST) From: Wolfram Schneider <wosch@cs.tu-berlin.de> To: current@freebsd.org Cc: peter@freebsd.org Subject: Wrong file name for info files. Message-ID: <199710092014.WAA03871@panke.panke.de>
next in thread | raw e-mail | index | archive | help
Makeinfo create wrong file names in info files, e.g. `dc.info.new'
instead `dc.info'. If nobody object I will undo rev 1.34.
File: dc.info.new, Node: Top, Next: Introduction, Prev: (dir), Up: (dir)
^^^^
revision 1.34
date: 1997/03/12 07:14:44; author: peter; state: Exp; lines: +9 -4
makeinfo can fail but still leave behind zero length files which cause
interesting problems because the resulting file is newer than the source
and this stops 'make' from rebuilding it. Go via an intermediate file
and rename to make sure this doesn't happen.
--
Wolfram Schneider <wosch@apfel.de> http://www.apfel.de/~wosch/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199710092014.WAA03871>