mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
ffb7fb400e
- 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
9 lines
186 B
HTML
9 lines
186 B
HTML
<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>
|