diff options
Diffstat (limited to '.darcs-boring')
-rw-r--r-- | .darcs-boring | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.darcs-boring b/.darcs-boring index a4fe93077c..89d4b8ac3f 100644 --- a/.darcs-boring +++ b/.darcs-boring @@ -129,3 +129,4 @@ package.conf.installed$ (^|/)config.status$ (^|/)configure$ ^ghc.spec$ +^docs/users_guide/ug-book.xml$ |