From: David Schleef <ds@schleef.org>
Date: Wed, 19 Sep 2001 00:35:48 +0000 (+0000)
Subject: Change name to devices.txt
X-Git-Tag: r0_7_61~69
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=17299dc33535295a2699d408e89c7de6f3615a98;p=comedi.git

Change name to devices.txt
---

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: