Richard W.M. Jones
a2edda266e
build: Make 'make clean' remove more files.
...
Remove man pages and other pages which 'make clean' did not remove
before.
To evaluate which pages could be removed, I did a full build and
check, and then ran 'make clean' followed by 'git clean -xdf'. By
examining the output of the git clean command I could see which files
were being missed.
Files that are _not_ removed by make clean or make distclean:
- generator-built files
- Makefile, Makefile.in, .deps, .depend
- any ./configure output files (maybe they should be?)
2015-11-03 13:53:37 +00:00
..
2015-10-06 13:40:34 +01:00
2015-11-03 13:53:37 +00:00
2012-04-01 20:02:25 +01:00
2012-04-01 20:02:25 +01:00
2012-04-01 20:02:25 +01:00
2014-01-28 15:04:38 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-07-01 17:17:58 +02:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-07-29 13:47:08 +02:00
2015-05-15 19:08:36 +01:00
2015-10-06 13:40:34 +01:00
2015-10-06 13:40:34 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-10-06 13:40:34 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-06-06 14:21:34 +01:00
2015-05-15 19:08:36 +01:00
2015-10-30 16:07:32 +00:00
2015-10-30 16:07:32 +00:00
2015-10-30 16:07:32 +00:00
2015-06-15 15:42:46 +01:00