docbook: fix 8250 naming in device-drivers
authorVincent Stehlé <v-stehle@ti.com>
Wed, 24 Apr 2013 14:35:10 +0000 (16:35 +0200)
committerJiri Kosina <jkosina@suse.cz>
Wed, 24 Apr 2013 14:35:10 +0000 (16:35 +0200)
commit4cf0cec21e3099b54743a6367360797e4fd5af21
treef931280cb71741d82db433dcfe45608dd7600cc6
parent59affa501e326992adc7470bde721e2d8b13afa7
docbook: fix 8250 naming in device-drivers

8250 driver has been (re)renamed to 8250_core.c by commit
9196d8acd7f91758872108958dfded7684628444. Follow that change to fix the
following error when building htmldocs:

  docproc: /work/cross/linux//drivers/tty/serial/8250/8250.c: No such file or directory

Acked-by: Rob landley <rob@landley.net>
Signed-off-by: Vincent Stehlé <v-stehle@ti.com>
Signed-off-by: Jiri Kosina <jkosina@suse.cz>
Documentation/DocBook/device-drivers.tmpl