[doc] fix install of doc
Showing
- src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf 0 additions, 0 deletionssrc/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf
- src/plugins/e-acsl/doc/manuals/e-acsl.pdf 0 additions, 0 deletionssrc/plugins/e-acsl/doc/manuals/e-acsl.pdf
- src/plugins/e-acsl/doc/refman/Makefile 4 additions, 4 deletionssrc/plugins/e-acsl/doc/refman/Makefile
Loading
Please register or sign in to comment