diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/ada_user/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ada_user/Makefile.am b/doc/ada_user/Makefile.am index 822bf0700c..9940e36f46 100644 --- a/doc/ada_user/Makefile.am +++ b/doc/ada_user/Makefile.am @@ -67,6 +67,7 @@ endif $(PROJECT).dvi: rtemspie.eps states.eps ObjectId-16Bits.eps \ ObjectId-32Bits.eps semaphore_attributes.eps -PDF_IMAGES = rtemspie.pdf states.pdf +PDF_IMAGES = rtemspie.pdf states.pdf ObjectId-16Bits.pdf \ + ObjectId-32Bits.pdf semaphore_attributes.pdf CLEANFILES += ada_user.info ada_user.info-? ada_user.info-?? |