Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
b880ebf6
Commit
b880ebf6
authored
Dec 17, 2010
by
MARCHE Claude
Browse files
fixed distrib
parent
dd130de5
Changes
2
Hide whitespace changes
Inline
Side-by-side
Makefile.in
View file @
b880ebf6
...
...
@@ -883,13 +883,13 @@ NAME = why3-$(VERSION)
DISTRIB_DIR
=
distrib/
$(NAME)
DISTRIB_TAR
=
$(DISTRIB_DIR)
.tar.gz
DISTRIB_FILES
=
Version Makefile.in configure.in configure .depend.
*
\
DISTRIB_FILES
=
Version Makefile.in configure.in
META.in
configure .depend.
*
\
README INSTALL OCAML-LICENSE LICENSE CHANGES
\
src/
*
.ml
*
src/
*
/
*
.ml
*
src/
*
/
*
.c
\
src/config.sh.in
\
doc/version.tex.in doc/manual.pdf
\
drivers/
*
.drv
\
examples/
*
.why
\
examples/
*
.why
examples/programs/
*
.mlw examples/tptp/
*
.why
\
theories/
*
.why theories/
*
/
*
.why
\
share/
*
.conf
\
share/emacs/why.el share/images/
*
.png share/lang/
*
.lang
...
...
@@ -900,6 +900,11 @@ DISTRIB_FILES = Version Makefile.in configure.in configure .depend.* \
distrib
::
$(DISTRIB_TAR)
rmdistrib
:
rm
-rf
$(DISTRIB_DIR)
redistrib
:
rmdistrib distrib
$(DISTRIB_TAR)
:
doc/manual.pdf
@
if
test
-d
$(DISTRIB_DIR)
;
then
\
echo
"Hum... there is already a directory
$(NAME)
"
;
\
...
...
doc/manual.tex
View file @
b880ebf6
...
...
@@ -7,11 +7,11 @@
\usepackage
[a4paper,pdftex,colorlinks=true,urlcolor=blue,pdfstartview=FitH]
{
hyperref
}
\usepackage
{
graphicx
}
%
\setl
r
margins
{2
0mm}{
*
}{*}
%
\set
u
lmargins
{1.0in}{*
}{*}
% %
\setheadfoot{1
3
pt}{
26
pt}
% %\setheaderspaces{*}{13pt}{*}
% \checkandfixthelayout
\set
u
lmargins
andblock
{
3
0mm
}{
30mm
}{
*
}
\setl
r
margins
andblock
{
30mm
}{
30mm
}{
*
}
\setheadfoot
{
1
5
pt
}{
38
pt
}
\checkandfixthelayout
%\usepackage[toc,nonumberlist]{glossaries}
%\makeglossaries
...
...
@@ -139,7 +139,7 @@ Initial release.
\item
New GUI with session save and restore
\item
New syntax for programs, new VC generator, intentionaly left
undocumented, since the syntax is likely to evolve significantly in
the future.
the future.
Examples are available in
\texttt
{
examples/programs
}
.
\end{itemize}
\cleardoublepage
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment