Skip to content

Commit b55c58d

Browse files
committed
Use gnatdoc instead of gps (docgen is broken)
1 parent 272790d commit b55c58d

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

docs/gtkada_rm/Makefile.in

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -7,18 +7,16 @@ INSTALL = @INSTALL@
77
INSTALL_DATA = @INSTALL_DATA@
88

99
SRC=../../src/*.ads ../../src/opengl/*.ads ../../src/glade/*.ads
10-
SUBDIRS=gtkada_rm gtkada_rm/screenshots gtkada_rm/support gtkada_rm/support/images
10+
SUBDIRS=gtkada_rm gtkada_rm/docs gtkada_rm/entities gtkada_rm/support/images gtkada_rm/srcs
1111

1212
gtkada_rm: docgen docgen_clean
1313

1414
docgen:
1515
$(MKDIR) gtkada_rm
16-
gprbuild -Pgenerate_docs.gpr
17-
gps -Pgenerate_docs.gpr --load=python:docgen_gtkada.py
18-
cat log.txt
16+
gnatdoc -Pgenerate_docs.gpr
1917

2018
docgen_clean:
21-
$(RM) -rf log.txt doc_obj/*
19+
$(RM) -rf doc_obj/*
2220

2321
install:
2422
-$(MKDIR) "${DESTDIR}$(docdir_base)"

0 commit comments

Comments
 (0)