From 4dff7984d98eccdbae86d9ac70c8c80952f052bb Mon Sep 17 00:00:00 2001 From: William Joye Date: Tue, 30 Apr 2019 15:45:04 -0400 Subject: clean up doc --- make.include | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v0.12