Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
M
mariadb
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Milestones
Merge Requests
0
Merge Requests
0
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
Kirill Smelkov
mariadb
Commits
72a1acce
Commit
72a1acce
authored
Dec 31, 2000
by
mwagner@evoq.home.mwagner.org
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
test-make-manual Cleaned up and added texi2dvi test.
parent
5a4d0ff5
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
31 additions
and
12 deletions
+31
-12
Docs/Support/test-make-manual
Docs/Support/test-make-manual
+31
-12
No files found.
Docs/Support/test-make-manual
View file @
72a1acce
...
...
@@ -2,30 +2,49 @@
function
die
{
echo
echo
$1
exit
1
}
echo
echo
"|---- Running makeinfo ----|"
echo
-n
"Running makeinfo..."
makeinfo
--no-split
-I
.
manual.texi
[
$?
!=
0
]
&&
die
"Manual has errors - fix before you commit"
if
[
$?
!=
0
]
;
then
die
"Manual has errors - fix before you commit"
else
echo
" Looks good."
fi
echo
echo
"|---- Running texi2html ----|
"
echo
-n
"Running texi2html...
"
/usr/bin/perl ./Support/texi2html
-iso
-number
manual.texi
[
$?
!=
0
]
&&
die
"Manual has errors - fix before you commit"
if
[
$?
!=
0
]
;
then
die
"Manual has errors - fix before you commit"
else
echo
" Looks good."
fi
echo
-n
"Running texi2dvi..."
texi2dvi
--batch
--quiet
manual.texi
if
[
$?
!=
0
]
;
then
die
"Manual has errors - fix before you commit"
else
echo
" Looks good."
fi
[
-z
$BROWSER
]
&&
BROWSER
=
netscape
echo
echo
echo
"Please examine your modifications in
\`
manual.html'."
echo
"For your convenience, I will show you the manual in
$BROWSER
"
echo
"If you would like to use a different browser, set BROWSER enviroment
\
variable"
echo
"If this is a GUI browser, to get your shell prompt back, close the
window"
echo
echo
"If you would like to use a different browser, set the 'BROWSER' environment"
echo
"variable."
echo
$BROWSER
file://
`
pwd
`
/manual_toc.html
$BROWSER
file://
`
pwd
`
/manual_toc.html
&
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a 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