diff options
| author | unknown <lenz@mysql.com> | 2003-04-11 17:07:58 +0200 |
|---|---|---|
| committer | unknown <lenz@mysql.com> | 2003-04-11 17:07:58 +0200 |
| commit | ffb7fb400ef62a824047df479bc4c1f77aac76a7 (patch) | |
| tree | 6aea541f297ef81ca38bddc627a922009b7596fd /Docs | |
| parent | a96a8137c646bed06df482d02c9ecdc39c1523dc (diff) | |
| download | mariadb-git-ffb7fb400ef62a824047df479bc4c1f77aac76a7.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
Makefile.am:
- added dist-hook to remove superfluous SCCS directories from the source
distribution
bdb/dist/s_symlink:
- don't try to create symlinks to nonexisting doc files
Diffstat (limited to 'Docs')
| -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> |