diff options
Diffstat (limited to 'make.include')
| -rw-r--r-- | make.include | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make.include b/make.include index 7c09f9b..d3bda41 100644 --- a/make.include +++ b/make.include @@ -420,7 +420,7 @@ language: tidy : $(call Tidy,ds9/doc) $(call Tidy,ds9/doc/release) -# $(call Tidy,ds9/doc/ref) + $(call Tidy,ds9/doc/ref) #-------------------------- scrub |