Change name to devices.txt
authorDavid Schleef <ds@schleef.org>
Wed, 19 Sep 2001 00:35:48 +0000 (00:35 +0000)
committerDavid Schleef <ds@schleef.org>
Wed, 19 Sep 2001 00:35:48 +0000 (00:35 +0000)
comedi/drivers/Makefile

index c2809184efc339496080585c5922221702e27bb6..1ec7bc3abe620684cddeffca006d894e8b24c8ba 100644 (file)
@@ -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: