From 17299dc33535295a2699d408e89c7de6f3615a98 Mon Sep 17 00:00:00 2001 From: David Schleef Date: Wed, 19 Sep 2001 00:35:48 +0000 Subject: [PATCH] Change name to devices.txt --- comedi/drivers/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/comedi/drivers/Makefile b/comedi/drivers/Makefile index c2809184..1ec7bc3a 100644 --- a/comedi/drivers/Makefile +++ b/comedi/drivers/Makefile @@ -109,7 +109,7 @@ check: drivers.txt: dummy (for each in *.c;do ../../scripts/dump_doc $$each;done >drivers.txt) - ../../scripts/doc_devlist drivers.txt >devlist.txt + ../../scripts/doc_devlist drivers.txt >devices.txt dummy: -- 2.26.2