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
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
nexedi
MariaDB
Commits
c02d8e2d
Commit
c02d8e2d
authored
Feb 16, 2001
by
unknown
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Cleaned up test-make-manual.
parent
ecb8110e
Changes
1
Show whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
47 additions
and
31 deletions
+47
-31
Docs/Support/test-make-manual
Docs/Support/test-make-manual
+47
-31
No files found.
Docs/Support/test-make-manual
View file @
c02d8e2d
#!/bin/sh
needed_flags
=
0
needed_texi2html
=
0
needed_texinfo_tex
=
0
needed_include_texi
=
0
if
[
-z
$BROWSER
]
;
then
BROWSER
=
netscape
echo
"BROWSER not set, using
$BROWSER
"
fi
function
die
{
echo
echo
$1
cleanup
exit
1
}
needed_flags
=
0
needed_texi2html
=
0
needed_texinfo_tex
=
0
needed_include_texi
=
0
function
cleanup
{
echo
"Cleaning up..."
if
[
$needed_flags
]
;
then
bk clean Flags
fi
if
[
$needed_texi2html
]
;
then
bk clean Support/texi2html
fi
if
[
$needed_texinfo_tex
]
;
then
bk clean Support/texinfo.tex
fi
if
[
$needed_include_texi
]
;
then
rm
-f
include.texi
fi
for
file
in
\
manual.aux manual.cp manual.cps manual.dvi
\
manual.fn manual.fns manual.ky manual.html
\
manual.pg manual.toc manual.tp manual.vr
\
mysql.info manual_toc.html
;
do
rm
-f
$file
done
}
if
[
-e
Flags/usa.txt
]
;
then
echo
"Good, Flags are there."
...
...
@@ -84,29 +121,6 @@ else
echo
" Looks good."
fi
needed_flags
=
0
needed_texi2html
=
0
needed_texinfo_tex
=
0
needed_include_texi
=
0
if
[
$needed_flags
]
;
then
bk clean Flags
fi
if
[
$needed_texi2html
]
;
then
bk clean Support/texi2html
fi
if
[
$needed_texinfo_tex
]
;
then
bk clean Support/texinfo.tex
fi
if
[
$needed_include_texi
]
;
then
rm
-f
include.texi
fi
[
-z
$BROWSER
]
&&
BROWSER
=
netscape
echo
echo
echo
"Please examine your modifications in
\`
manual.html'."
...
...
@@ -115,4 +129,6 @@ echo "If you would like to use a different browser, set the 'BROWSER' environmen
echo
"variable."
echo
$BROWSER
file://
`
pwd
`
/manual_toc.html &
$BROWSER
file://
`
pwd
`
/manual_toc.html
cleanup
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