diff options
| author | unknown <mwagner@evoq.mwagner.org> | 2001-02-28 21:04:08 -0600 |
|---|---|---|
| committer | unknown <mwagner@evoq.mwagner.org> | 2001-02-28 21:04:08 -0600 |
| commit | 6fe43628b960a28976b018b9fedc74dc55040c08 (patch) | |
| tree | 54592efbc9573f9caa0a91ba2592c08bdcbf14f7 /Docs/Support | |
| parent | b330167e18a3c531b4dcc7ddbfde65bc21b9418a (diff) | |
| download | mariadb-git-6fe43628b960a28976b018b9fedc74dc55040c08.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.
Docs/manual.texi:
Added MyODBC patch to contrib section.
Docs/Support/test-make-manual:
Fixed so that manual.html isn't cleaned up before it is viewed in the running $BROWSER.
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 |