diff options
Diffstat (limited to 'gas/doc/Makefile.in')
| -rw-r--r-- | gas/doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gas/doc/Makefile.in b/gas/doc/Makefile.in index 847b352ab2..de4d8395d1 100644 --- a/gas/doc/Makefile.in +++ b/gas/doc/Makefile.in @@ -270,6 +270,7 @@ CPU_DOCS = \ c-m32r.texi \ c-m68hc11.texi \ c-m68k.texi \ + c-microblaze.texi \ c-mips.texi \ c-mmix.texi \ c-mt.texi \ |