Clean documentation subtree during make clean.
Peter Eisentraut <peter_e@gmx.net>
Clean documentation subtree during make clean.
Files
| Path | Change | +/− |
|---|---|---|
| doc/Makefile | modified | +3 −4 |
| doc/src/Makefile | modified | +3 −6 |
Peter Eisentraut <peter_e@gmx.net>
Clean documentation subtree during make clean.
| Path | Change | +/− |
|---|---|---|
| doc/Makefile | modified | +3 −4 |
| doc/src/Makefile | modified | +3 −6 |
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect