diff options
| author | mwagner@evoq.mwagner.org <> | 2001-02-28 21:04:08 -0600 |
|---|---|---|
| committer | mwagner@evoq.mwagner.org <> | 2001-02-28 21:04:08 -0600 |
| commit | 9c96f172b538a4369a14953a714812e65f8ba53b (patch) | |
| tree | 54592efbc9573f9caa0a91ba2592c08bdcbf14f7 /Docs/Support | |
| parent | cb7f3f4fdccd6142467a99e82bfc021495837e6e (diff) | |
| download | mariadb-git-9c96f172b538a4369a14953a714812e65f8ba53b.tar.gz | |
test-make-manual Fixed so that manual.html isn't cleaned up before it is viewed in the running $BROWSER.
manual.texi Added MyODBC patch to contrib section.
Diffstat (limited to 'Docs/Support')
| -rwxr-xr-x | Docs/Support/test-make-manual | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Docs/Support/test-make-manual b/Docs/Support/test-make-manual index fb88410116b..822b9ff1e08 100755 --- a/Docs/Support/test-make-manual +++ b/Docs/Support/test-make-manual @@ -129,6 +129,8 @@ 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 +echo "-- Press Enter to Continue --" +read cleanup |