1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
Description: debianization -- documentation
Address Debian Policy requirements for documentation.
Origin: vendor, Debian
Forwarded: not-needed
Author: Jerome Benoit <calculus@rezozer.net>
Last-Update: 2023-10-15
--- a/dox/Makefile.am
+++ b/dox/Makefile.am
@@ -1,3 +1,5 @@
+htmldir = $(docdir)/dev/html
+
doxyrun:
if [ -z "$(DOXYGEN)" ]; then \
which -s doxygen || (echo Please add 'doxygen' to your PATH; exit 1;); \
@@ -19,20 +21,30 @@
if HAVE_DOXYGEN
-## doxyfile.stamp:
-html:
+doxyfile.stamp:
$(MAKE) doxyrun abs_top_srcdir="$(abs_top_srcdir)" abs_top_builddir="$(abs_top_builddir)" \
DOXYGEN_CONFIG="$(abs_srcdir)/Doxyfile.in" DOXYGEN="$(DOXYGEN)"
-## echo Timestamp > doxyfile.stamp
+ echo Timestamp > doxyfile.stamp
-## CLEANFILES = doxyfile.stamp
+##CLEANFILES = doxyfile.stamp
# all-local: doxyfile.stamp
-## html: doxyfile.stamp
+html: doxyfile.stamp
+
+install-html-local: html
+ $(MKDIR_P) $(DESTDIR)$(htmldir)
+ cp -rp -t $(DESTDIR)$(htmldir) html/search
+ cp -p -t $(DESTDIR)$(htmldir) html/*.html html/*.png
+ cp -p -t $(DESTDIR)$(htmldir) html/doxygen.css html/stylesheet.css html/tabs.css
+ cp -p -t $(DESTDIR)$(htmldir) html/dynsections.js html/menu.js html/menudata.js html/svg.min.js
+ rdfind -outputname /dev/null -removeidentinode false -makesymlinks true $(DESTDIR)$(htmldir)
+ symlinks -r -c -s -v $(DESTDIR)$(htmldir)
+ rdfind -outputname /dev/null -removeidentinode false -makesymlinks true $(DESTDIR)$(htmldir)/search
+ symlinks -r -c -s -v $(DESTDIR)$(htmldir)/search
clean-local:
- rm -f html_dox.log tags
+ rm -f html_dox.log tags doxyfile.stamp
rm -rf html
endif
--- a/Makefile.am
+++ b/Makefile.am
@@ -35,6 +35,17 @@
mv $(DESTDIR)$(htmldir)/singular.info $(DESTDIR)$(datadir)/info/.;\
mv $(DESTDIR)$(htmldir)/singular.idx $(DESTDIR)$(datadir)/singular/.;\
fi
+ -cd $(DESTDIR)$(htmldir) && { \
+ chmod a-x a_*.gif ; \
+ rdfind -outputname /dev/null -makesymlinks true . ; \
+ symlinks -r -c -s -v . ; \
+ }
+ -cd $(DESTDIR)$(docdir)/dev/html && { \
+ chmod a-x a_*.gif ; \
+ rdfind -outputname /dev/null -makesymlinks true . ; \
+ symlinks -r -c -s -v . ; \
+ }
+
uninstall-local:
-(cd $(datadir); rm -rf singular info/singular.info)
|
