]>
Commit | Line | Data |
---|---|---|
ed57d49d JR |
1 | diff -ur NuSMV-2.4.0/nusmv/doc/html/Makefile.am NuSMV-2.4.0-ok/nusmv/doc/html/Makefile.am |
2 | --- NuSMV-2.4.0/nusmv/doc/html/Makefile.am 2005-03-03 12:05:28.000000000 +0100 | |
3 | +++ NuSMV-2.4.0-ok/nusmv/doc/html/Makefile.am 2006-10-03 17:30:35.000000000 +0200 | |
4 | @@ -46,7 +46,7 @@ | |
5 | docs: helpfiles | |
6 | ||
7 | helpfiles: | |
8 | - cd $(top_builddir) && $(SHELL) helpers/extract_doc . | |
9 | + cd $(top_builddir) && /bin/bash helpers/extract_doc . | |
10 | ||
11 | install: docs install-am | |
12 | ||
13 | diff -ur NuSMV-2.4.0/nusmv/doc/tutorial/Makefile.am NuSMV-2.4.0-ok/nusmv/doc/tutorial/Makefile.am | |
14 | --- NuSMV-2.4.0/nusmv/doc/tutorial/Makefile.am 2005-05-09 10:30:18.000000000 +0200 | |
15 | +++ NuSMV-2.4.0-ok/nusmv/doc/tutorial/Makefile.am 2006-10-03 17:03:50.000000000 +0200 | |
16 | @@ -62,7 +62,7 @@ | |
17 | ||
18 | if HAVE_LATEX | |
19 | install-data-local: tutorial.ps | |
20 | - $(install_sh_DATA) tutorial.ps $(datadir)/nusmv/doc/tutorial.ps | |
21 | + $(install_sh_DATA) tutorial.ps $(DESTDIR)$(datadir)/nusmv/doc/tutorial.ps | |
22 | ||
23 | else | |
24 | install-data-local: | |
25 | diff -ur NuSMV-2.4.0/nusmv/doc/user-man/Makefile.am NuSMV-2.4.0-ok/nusmv/doc/user-man/Makefile.am | |
26 | --- NuSMV-2.4.0/nusmv/doc/user-man/Makefile.am 2005-10-26 11:11:25.000000000 +0200 | |
27 | +++ NuSMV-2.4.0-ok/nusmv/doc/user-man/Makefile.am 2006-10-03 17:04:09.000000000 +0200 | |
28 | @@ -67,7 +67,7 @@ | |
29 | ||
30 | if HAVE_LATEX | |
31 | install-data-local: nusmv.ps | |
32 | - $(install_sh_DATA) nusmv.ps $(datadir)/nusmv/doc/nusmv.ps | |
33 | + $(install_sh_DATA) nusmv.ps $(DESTDIR)$(datadir)/nusmv/doc/nusmv.ps | |
34 | else | |
35 | install-data-local: | |
36 | @echo Cannot generate manual: latex not found | |
37 | diff -ur NuSMV-2.4.0/nusmv/helpers/extract_doc.in NuSMV-2.4.0-ok/nusmv/helpers/extract_doc.in | |
38 | --- NuSMV-2.4.0/nusmv/helpers/extract_doc.in 2005-03-03 13:12:59.000000000 +0100 | |
39 | +++ NuSMV-2.4.0-ok/nusmv/helpers/extract_doc.in 2006-10-03 17:29:10.000000000 +0200 | |
40 | @@ -1,4 +1,4 @@ | |
41 | -#!/bin/sh | |
42 | +#!/bin/bash | |
43 | ||
44 | # FileName [ extract_doc.in ] | |
45 | # |