aboutsummaryrefslogtreecommitdiff
path: root/manual/.gitignore
AgeCommit message (Collapse)Author
2012-05-14Do not build manual in source dirAndreas Jaeger
[BZ #13750] Do not build manual anymore in the source dir. Also clean up the Makefile and remove rules that have been used previously when we had a stand-alone Makefile which was obsoleted recently.
2012-05-04Revert "Do not build manual in the source directory"Andreas Jaeger
This reverts commit e3945c47bdac1149a1fec5d46bd567a248cd17b9. reverting since it breaks building.
2012-05-04Do not build manual in the source directoryAndreas Jaeger
[BZ #13750] Build the manual in the build directory and not anymore in the source directory.
2012-04-08Add generated file version.texiAndreas Jaeger
2009-05-16remove subsumed .gitignore entries and filesJim Meyering
2009-05-15Cleanup some .gitignore files.Ulrich Drepper
2009-05-15rename each .cvsignore file to .gitignoreJim Meyering