view msdos/sed6.inp @ 24349:b6c16b67b735

(within_one_second): New function. (current_lock_owner): Use that. (get_boot_time): Use /proc/uptime if available. Otherwise, if nothing found in wtmp, try wtmp.1.gz and so on. (get_boot_time_1): New subroutine taken from get_boot_time.
author Richard M. Stallman <rms@gnu.org>
date Fri, 19 Feb 1999 01:36:29 +0000
parents e69cf70835f9
children b77f0b29fdb9
line wrap: on
line source

# -sed6.inp-----------------------------------------------------------
# Configuration script for man/Makefile under DJGPP v2.x
# ----------------------------------------------------------------------
/^srcdir *=/s/@[^@\n]*@/./
/^VPATH *=/s/@[^@\n]*@/./