diff options
| author | lenz@mysql.com <> | 2003-04-11 17:07:58 +0200 |
|---|---|---|
| committer | lenz@mysql.com <> | 2003-04-11 17:07:58 +0200 |
| commit | faad672620c9a3c12b782bde201a12f4b975394a (patch) | |
| tree | 6aea541f297ef81ca38bddc627a922009b7596fd /Docs/manual_toc.html | |
| parent | ac8f4677d4d93e07b6d8373616ee604c41844d15 (diff) | |
| download | mariadb-git-faad672620c9a3c12b782bde201a12f4b975394a.tar.gz | |
Distribution cleanups:
- added Dummy file Docs/manual_toc.html to make "make dist" happy if the
real manual.texi has not been copied into Docs/ (which would make sure
a "real" manual_toc.html would be created
- fixed symlinking in the bdb subdirectory (docs are not included anyway)
- added dist-hook to Makefile.am to remove superfluous SCCS directories
from the source distribution
Diffstat (limited to 'Docs/manual_toc.html')
| -rw-r--r-- | Docs/manual_toc.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Docs/manual_toc.html b/Docs/manual_toc.html new file mode 100644 index 00000000000..b9014e5efb9 --- /dev/null +++ b/Docs/manual_toc.html @@ -0,0 +1,9 @@ +<html> +<head> +<title>Place holder for manual_toc.html</title> +</head> +<body> +This is just a place holder for the autogenerated manual_toc.html +to make "make dist" happy. +</body> +</html> |